Theorem Mathlib.Tactic.Ring.add_pf_add_overlap_zero

Modification history