From 2282c08a0ad023ee0d37f532cce6e09d41326e33 Mon Sep 17 00:00:00 2001
From: Michelle <79888145+michelled01@users.noreply.github.com>
Date: Tue, 9 Jul 2024 18:05:46 -0500
Subject: [PATCH] Update assignment.v

add parenthesis around forall statement
---
 coq/assignment.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/assignment.v b/coq/assignment.v
index 04be432d..be27fe42 100644
--- 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.