Theorem Mathlib.Tactic.Ring.add_pf_add_gt

Modification history