Merge pull request #141 from trishullab/origin/michelle

Update assignment.v
trishullab · Jul 10, 2024 · c714635 · c714635
2 parents d09f8b9 + 2282c08
commit c714635
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/assignment.v b/coq/assignment.v
@@ -170,7 +170,7 @@ Require Import Ensembles RelationClasses.
 Theorem putnam_2001_a1
     (A : Type)
     (op: A->A->A)
-    : forall (a b: A), op (op a b) a = b -> forall (a b: A), op a (op b a) = b.
+    : (forall (a b: A), op (op a b) a = b) -> (forall (a b: A), op a (op b a) = b).
 Proof. Admitted.
 End putnam_2001_a1.