Theorem Mathlib.Tactic.PushNeg.not_lt_eq

Modification history