changed in

isahers1 · Apr 19, 2022 · 05ab68d · 05ab68d
1 parent ee3b0e7
commit 05ab68d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
diff --git a/proof.py b/proof.py
@@ -586,7 +586,7 @@ def closure(self,G,a,b):
         '''
         if G.contains(a) and G.contains(b):
             G.mulElements(a,b)
-            self.steps+=[In(G,Mult([a,b]))]
+            self.steps+=[In(Mult([a,b]),G)]
             self.justifications+=["Closure"]
             self.show()
         else: