Theorem Mathlib.Tactic.PushNeg.not_forall_eq

Modification history