Theorem Mathlib.Tactic.Ring.add_congr

Modification history