Mathlib v3 is deprecated. Go to Mathlib v4

Def smooth_vector_bundle.continuous_linear_map.aux

Modification history

2023-05-28 14:55
src/geometry/manifold/vector_bundle/hom.lean
refactor(topology/vector_bundle/hom): fibres of hom-bundle carry strong topology (#19107) …
Deleted smooth_vector_bundle.continuous_linear_map.auxView on Github →
2023-05-17 16:46
src/geometry/manifold/vector_bundle/hom.lean
feat(geometry/manifold/vector_bundle/hom): the hom bundle is smooth (#18828) …
Added smooth_vector_bundle.continuous_linear_map.auxView on Github →