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 |