From e660f42b13ddcb6d12b52ba036d6bd071a0cfb9b Mon Sep 17 00:00:00 2001
From: Heather Macbeth <25316162+hrmacbeth@users.noreply.github.com>
Date: Mon, 9 Dec 2024 14:21:47 -0500
Subject: [PATCH] Update Mon Dec  9 14:21:47 EST 2024

---
 Math2001/Homework/hw10.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Math2001/Homework/hw10.lean b/Math2001/Homework/hw10.lean
index 2bbb74cb..a370592a 100644
--- a/Math2001/Homework/hw10.lean
+++ b/Math2001/Homework/hw10.lean
@@ -45,7 +45,7 @@ theorem problem3a : {1, 2, 3} ∩ {2, 3, 4} ⊆ {2, 3, 6} := by
 
 
 @[autograded 3]
-theorem problem3b : {1, 2, 3} ∩ {2, 3, 4} ≠ {2, 3, 6} := by
+theorem problem3b : ¬ {1, 2, 3} ∩ {2, 3, 4} ⊆ {2, 3, 6} := by
   sorry