Mathlib Changelog
v4
Changelog
About
Github
Theorem
Pretrivialization.continuousLinearMap_apply
Modification history
2025-06-18 15:55
Mathlib/Topology/VectorBundle/Hom.lean
feat: continuity statements for the bundle of continuous linear maps (#25383) …
Modified
Pretrivialization.continuousLinearMap_apply
View on Github →
2023-07-06 15:47
Mathlib/Topology/VectorBundle/Hom.lean
feat: port Topology.VectorBundle.Hom (#4514)
Added
Pretrivialization.continuousLinearMap_apply
View on Github →