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

State before:
n✝ n m : ℕ
h : n ≤ m
⊢ fac n ∣ fac m
Tactic:
sorry
State after:
no goals