Def Mathlib.Tactic.Push.isPullThm

Modification history

2025-09-23 03:07
Mathlib/Tactic/Push/Attr.lean
feat: extensible `push` and `pull` tactics (#21965) …
Added Mathlib.Tactic.Push.isPullThmView on Github →