Theorem: fac_pos (LeanCourse/Lectures/Lecture7Before.lean)

State before:
n✝ n : ℕ
⊢ 0 < fac n
Tactic:
sorry
State after:
no goals