Def CovariantDerivative.addOneForm

Modification history

2026-03-12 19:24

Mathlib/Geometry/Manifold/VectorBundle/CovariantDerivative/Basic.lean

feat: covariant derivatives on vector bundles (#36279) …

Added CovariantDerivative.addOneForm View on Github →