error messages

isahers1 · Apr 19, 2022 · c6f04a9 · c6f04a9
1 parent 43f0ea4
commit c6f04a9
Show file tree

Hide file tree

Showing 3 changed files with 135 additions and 131 deletions.
diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
diff --git a/abelian_proof.py b/abelian_proof.py
@@ -14,7 +14,7 @@
 p.closure(G,'a','b')
 p.accessAssumption()
 p.forallElim(4,['a * b'])
-p.leftMult('a',5) # G.elements should be a function not a dictionary
+p.leftMult('a',5)
 p.forallElim(4,['a'])
 p.substituteRHS(6,7)
 p.identleft(8)
@@ -24,4 +24,4 @@
 p.substituteRHS(11,12)
 p.identleft(13)
 p.forAllIntroduction(14,["a","b"],[1,2])
-p.qed(15)
+p.qed(15)