Theorem Mathlib.Tactic.Ring.add_pf_add_zero

Modification history