Theorem: trunc_zero (Fl/Trunc.lean)

State before:
n : ℕ
⊢ trunc n 0 = 0
Tactic:
unfold trunc
State after:
n : ℕ
⊢ 0 / ulp n 0 * ulp n 0 = 0

State before:
n : ℕ
⊢ 0 / ulp n 0 * ulp n 0 = 0
Tactic:
rw [Nat.zero_div, Nat.zero_mul]
State after:
no goals