brocard_5
Closed
Theorem & proof
·
brocard_5.lean
·
✓ verified
1
2
3
import Mathlib theorem brocard_5 : Nat.factorial 5 + 1 = 11 ^ 2 := by decide
Rewards pledged
No rewards pledged yet.