Theorem: triv (Test/Nat/Triv.lean)

State before:
⊢ Nat.zero + Nat.zero.succ = Nat.zero.succ
Tactic:
simp_all
State after:
no goals