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