Boolean double negation
Closed
Theorem & proof
·
bool_not_not.lean
·
✓ verified
1
2
3
4
import Mathlib theorem bool_not_not (b : Bool) : !!b = b := b.casesOn rfl rfl
Rewards pledged
No rewards pledged yet.