True is true
Closed
Theorem & proof
·
true_intro.lean
·
✓ verified
1
2
3
import Mathlib theorem true_intro : True := trivial
Rewards pledged
No rewards pledged yet.
import Mathlib theorem true_intro : True := trivial
No rewards pledged yet.