Update Mon Dec 9 14:21:47 EST 2024

hrmacbeth · Dec 9, 2024 · e660f42 · e660f42
1 parent 6b00260
commit e660f42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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