Theorem Mathlib.Tactic.PushNeg.not_ne_eq

Modification history