Theorem Mathlib.Tactic.PushNeg.not_and_distrib_eq

Modification history