Def Mathlib.Tactic.Push.push

Modification history

2025-12-05 13:19
Mathlib/Tactic/Push.lean
feat(push_neg): `push_neg +distrib` syntax (#31406) …
Added Mathlib.Tactic.Push.pushView on Github →