doc(overview): mention covariant derivatives (#38072)

Author: grunweg

docs/overview.yaml

@@ -460,18 +460,19 @@ Geometry:
     discrete spaces are 0-manifolds: 'IsManifold.of_discreteTopology'
     0-manifolds are discrete spaces: 'ChartedSpace.discreteTopology'
 
-  Riemannian manifolds:
-    Riemannian/bundle metric: 'Bundle.RiemannianMetric'
-    Smooth bundle metric: 'Bundle.ContMDiffRiemannianMetric'
-    Riemannian manifold: 'IsRiemannianManifold'
-
   Smooth vector and fiber bundles:
     (topological) fiber bundle: 'FiberBundle'
     (smooth) vector bundle: 'ContMDiffVectorBundle'
     (smooth) trivial vector bundle: 'Bundle.Trivial.contMDiffVectorBundle'
     (smooth) direct sum of vector bundles: 'Bundle.Prod.contMDiffVectorBundle'
     (smooth) pullback vector bundle: 'ContMDiffVectorBundle.pullback'
     (smooth) Hom bundle: 'ContMDiffVectorBundle.continuousLinearMap'
+    covariant derivatives: 'CovariantDerivative'
+
+  Riemannian manifolds:
+    Riemannian/bundle metric: 'Bundle.RiemannianMetric'
+    Smooth bundle metric: 'Bundle.ContMDiffRiemannianMetric'
+    Riemannian manifold: 'IsRiemannianManifold'
 
   Algebraic geometry:
     prime spectrum: 'PrimeSpectrum'