Theorem CovariantDerivative.contMDiffCovariantDerivativeOn_univ_iff

Modification history

2026-03-12 19:24
Mathlib/Geometry/Manifold/VectorBundle/CovariantDerivative/Basic.lean
feat: covariant derivatives on vector bundles (#36279) …
Added CovariantDerivative.contMDiffCovariantDerivativeOn_univ_iffView on Github →