Def Lean.Elab.Tactic.withNondepPropLocation

Modification history

2025-08-20 02:52
Mathlib/Util/AtLocation.lean
chore: deduplicate "transform at location" methods (#27562) …
Added Lean.Elab.Tactic.withNondepPropLocationView on Github →