Theorem CovariantDerivative.ContMDiffCovariantDerivative.finiteAffineCombination

Modification history

2026-07-27 17:36
Mathlib/Geometry/Manifold/VectorBundle/CovariantDerivative/Basic.lean
chore(Geometry/Manifold): fix defs with underscores (#42115) …
Added CovariantDerivative.ContMDiffCovariantDerivative.finiteAffineCombinationView on Github →