Theorem contMDiffAt_coordChangeL

Modification history

2024-01-16 14:21

Mathlib/Geometry/Manifold/VectorBundle/Basic.lean

chore(Analysis,Geometry): remove almost all autoImplicit (#9691) …

Modified contMDiffAt_coordChangeL View on Github →

2023-06-26 18:00

Mathlib/Geometry/Manifold/VectorBundle/Basic.lean

feat: smoothness in a vector bundle (#5494) …

Added contMDiffAt_coordChangeL View on Github →