Theorem Pretrivialization.continuousOn_continuousLinearMapCoordChange

Modification history

2024-08-09 00:58
Mathlib/Topology/VectorBundle/Hom.lean
chore: backports for leanprover/lean4#4814 (part 24) (#15520)
Modified Pretrivialization.continuousOn_continuousLinearMapCoordChangeView on Github →
2023-07-06 15:47
Mathlib/Topology/VectorBundle/Hom.lean
feat: port Topology.VectorBundle.Hom (#4514)
Added Pretrivialization.continuousOn_continuousLinearMapCoordChangeView on Github →