merge

isahers1 · Apr 18, 2022 · 571b481 · 571b481
1 parent e5e2db2
commit 571b481
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/__pycache__/group.cpython-39.pyc b/__pycache__/group.cpython-39.pyc
diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc
diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
diff --git a/abelian_proof.py b/abelian_proof.py
@@ -13,7 +13,7 @@
 p.closure(G,'a','b')
 p.accessAssumption()
 p.forallElim(4,['a * b'])
-p.leftMult(G.elements['a'],5)
+p.leftMult(G.elements['a'],5) # G.elements should be a function not a dictionary
 p.forallElim(4,['a'])
 p.substituteRHS(6,7)
 p.identleft(8)