| Tensor | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| TensorDecomposable | Math.LinearMap.Category |
| tensorDecompose' | Math.LinearMap.Category |
| tensorDecomposeShowsPrec | Math.LinearMap.Category |
| tensorDecomposition | Math.LinearMap.Category |
| tensorDualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorEquality | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorId | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| TensorProduct | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
| tensorProduct | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorProducts | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| TensorSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorUnsafeFromArrayWithOffset | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| tensorUnsafeWriteArrayWithOffset | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| toArray | Math.VectorSpace.DimensionAware |
| toFlatTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| toLinearForm | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| trace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| transformNorm | Math.LinearMap.Category |
| transformVariance | Math.LinearMap.Category |
| transposeTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| TriangularNum | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| triangularNumSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| TrivialTensorWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| trivialTensorWitness | Math.LinearMap.Category |