False
Closed
Theorem & proof
·
false.lean
·
✓ verified
1
2
3
import Mathlib theorem false : False := sorry
Rewards pledged
No rewards pledged yet.
import Mathlib theorem false : False := sorry
No rewards pledged yet.