Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector_prebundle.smooth_on_smooth_coord_change

Modification history

2023-05-17 16:46
src/geometry/manifold/vector_bundle/basic.lean
feat(geometry/manifold/vector_bundle/hom): the hom bundle is smooth (#18828) …
Added vector_prebundle.smooth_on_smooth_coord_changeView on Github →