Def Mathlib.Tactic.PushNeg.pushNegCore

Modification history

2022-11-07 21:34

Mathlib/Tactic/PushNeg.lean

feat: `#conv` command: `#simp`, `#norm_num` etc. (#539) …

Added Mathlib.Tactic.PushNeg.pushNegCore View on Github →