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

State before:
n : ℕ
⊢ fac 0 = 1
Tactic:
sorry
State after:
no goals