Theorem Mathlib.Tactic.Ring.add_overlap_pf_zero

Modification history