Structure Bundle.ContMDiffRiemannianMetric

Modification history

2025-07-04 20:03
Mathlib/Geometry/Manifold/VectorBundle/Riemannian.lean
feat: smooth Riemannian bundles (#26506) …
Added Bundle.ContMDiffRiemannianMetricView on Github →