Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.Tactic.transformAtTarget
Modification history
2025-08-20 02:52
Mathlib/Util/AtLocation.lean
chore: deduplicate "transform at location" methods (#27562) …
Added
Mathlib.Tactic.transformAtTarget
View on Github →