Mathlib Changelog
v4
Changelog
About
Github
Theorem
writtenInExtChart_prod
Modification history
2025-10-29 00:03
Mathlib/Geometry/Manifold/IsManifold/ExtChartAt.lean
feat: add mfderiv_prod and mfderiv_prodMap (#29589) …
Added
writtenInExtChart_prod
View on Github →