We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6b00260 commit e660f42Copy full SHA for e660f42
Math2001/Homework/hw10.lean
@@ -45,7 +45,7 @@ theorem problem3a : {1, 2, 3} ∩ {2, 3, 4} ⊆ {2, 3, 6} := by
45
46
47
@[autograded 3]
48
-theorem problem3b : {1, 2, 3} ∩ {2, 3, 4} ≠ {2, 3, 6} := by
+theorem problem3b : ¬ {1, 2, 3} ∩ {2, 3, 4} ⊆ {2, 3, 6} := by
49
sorry
50
51
0 commit comments