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 →