Def Mathlib.Tactic.PushNeg.pushNegLocalDecl

Modification history