Def Mathlib.Tactic.Push.pushStep

Modification history

2025-12-05 13:19
Mathlib/Tactic/Push.lean
feat(push_neg): `push_neg +distrib` syntax (#31406) …
Modified Mathlib.Tactic.Push.pushStepView on Github →
2025-09-23 03:07
Mathlib/Tactic/Push.lean
feat: extensible `push` and `pull` tactics (#21965) …
Added Mathlib.Tactic.Push.pushStepView on Github →