Theorem Mathlib.Tactic.Push.not_exists

Modification history

2025-11-06 20:50
Mathlib/Tactic/Push.lean
fix(push_neg): preserve binder names (#31212) …
Modified Mathlib.Tactic.Push.not_existsView on Github →
2025-09-23 03:07
Mathlib/Tactic/Push.lean
feat: extensible `push` and `pull` tactics (#21965) …
Added Mathlib.Tactic.Push.not_existsView on Github →