Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContinuousAt.inner_bundle
Modification history
2025-06-24 13:20
Mathlib/Topology/VectorBundle/Riemannian.lean
feat: continuous Riemannian vector bundles (#26197) …
Added
ContinuousAt.inner_bundle
View on Github →