7. Metrics
7.1. Definition
7.2. Contraction
7.3. Canonicalization with a metric
7.4. Several metrics
7.5. Curvature tensors of the metric
7.6. Product metrics
7.7. Flat and Cartesian metrics
7.8. Induced metrics
7.9. Products of epsilon tensors
7.10. Variational derivatives