AbstractDualVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
AdditiveGroup | Math.LinearMap.Category |
addTensors | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
addV | Math.LinearMap.Category |
adjoint | Math.LinearMap.Category |
AffineSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
applyDualVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
applyLinear | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
applyNorm | Math.LinearMap.Category |
applyTensorFunctional | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
applyTensorLinMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
asLinearMap | Math.LinearMap.Coercion |
asTensor | Math.LinearMap.Coercion |