Theorem ContMDiffAt.clm_prodMap

Modification history

2023-07-11 09:17

Mathlib/Geometry/Manifold/ContMDiff.lean

feat: port Geometry.Manifold.VectorBundle.Hom (#5727)

Deleted ContMDiffAt.clm_prodMap View on Github →

2023-06-24 01:01

Mathlib/Geometry/Manifold/ContMDiff.lean

feat: port Geometry.Manifold.ContMdiff (#4656)

Added ContMDiffAt.clm_prodMap View on Github →