Theorem Mathlib.Tactic.Ring.neg_congr

Modification history