Theorem Mathlib.Tactic.PushNeg.not_exists_eq

Modification history