Commit 2026-02-19 09:41 7b82e1ca
View on Github →chore(Geometry/Manifold): rename writtenInExtChart_prod to writtenInExtChartAt_prod (#35511)
Rename writtenInExtChart_prod to writtenInExtChartAt_prod, because the definition it is about is called writtenInExtChartAt and it was the only lemma to drop the "at".