Theorem: eq_zero_of_zero_eq (FormalSnarksProject/SoundnessTactic/SoundnessProver.lean)

State before:
R : Type u
inst✝ : Zero R
r : R
⊢ 0 = r ↔ r = 0
Tactic:
exact eq_comm
State after:
no goals