Theorem smoothAt_coordChangeL

Modification history

2024-01-16 14:21
Mathlib/Geometry/Manifold/VectorBundle/Basic.lean
chore(Analysis,Geometry): remove almost all autoImplicit (#9691) …
Modified smoothAt_coordChangeLView on Github →
2023-06-26 18:00
Mathlib/Geometry/Manifold/VectorBundle/Basic.lean
feat: smoothness in a vector bundle (#5494) …
Added smoothAt_coordChangeLView on Github →