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

State before:
time : Time
⊢ 0 ≤ time
Tactic:
apply Nat.zero_le
State after:
no goals