Theorem Mathlib.Tactic.PushNeg.not_and_eq

Modification history