Theorem Mathlib.Tactic.PushNeg.not_and_or_eq

Modification history