Theorem: LeanDemo.zero_eq (LeanMeetup/Demo01.lean)

State before:
⊢ 0 = zero
Tactic:
rfl
State after:
no goals