Theorem Mathlib.Tactic.Ring.add_pf_zero_add

Modification history