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 →