Theorem: Time.zero_eq_zero (Runtime/Time.lean)

State before:
unit : Time.Unit
⊢ 0 = of 0 unit
Tactic:
simp [of]
State after:
no goals