Index - M
| magnitude | Math.LinearMap.Category |
| magnitudeSq | Math.LinearMap.Category |
| makeFiniteDimensionalFromBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| makeLinearSpaceFromBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| MaybePred | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| maybePredSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |