Mathlib Changelog
v4
Changelog
About
Github
Theorem
writtenInExtChartAt_prod
Modification history
2026-02-19 09:41
Mathlib/Geometry/Manifold/IsManifold/ExtChartAt.lean
chore(Geometry/Manifold): rename `writtenInExtChart_prod` to `writtenInExtChartAt_prod` (#35511) …
Added
writtenInExtChartAt_prod
View on Github →