fixture_fc_pipeline
Closed
Theorem & proof
·
✓ verified
1
2
3
import Mathlib @[category research solved, AMS 11] theorem fixture_fc_pipeline (n : ℕ) : 0 < n.factorial := Nat.factorial_pos n
Rewards pledged
No rewards pledged yet.