| decideDualness | Math.VectorSpace.Dual |
| decomposeLinMap | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| decomposeLinMapWithin | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| def | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| densifyNorm | Math.LinearMap.Category |
| dependence | Math.LinearMap.Category |
| Diff | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
| Dimension | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimension | Math.VectorSpace.DimensionAware |
| Dimensional | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimensionality | Math.VectorSpace.DimensionAware |
| DimensionalityCases | Math.VectorSpace.DimensionAware |
| dimensionalitySing | Math.VectorSpace.DimensionAware |
| DimensionalityWitness | Math.VectorSpace.DimensionAware |
| dimensionalityWitness | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| DimensionAware | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimensionIsStatic | Math.VectorSpace.DimensionAware, Math.LinearMap.Category |
| dimensionOf | Math.VectorSpace.DimensionAware |
| Dual | Math.VectorSpace.Dual |
| dualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| DualFinitenessWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| dualFinitenessWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| DualityWitness | |
| 1 (Type/Class) | Math.VectorSpace.Dual |
| 2 (Data Constructor) | Math.VectorSpace.Dual |
| dualityWitness | Math.VectorSpace.Dual |
| Dualness | Math.VectorSpace.Dual |
| DualnessSingletons | Math.VectorSpace.Dual |
| dualNorm | Math.LinearMap.Category |
| dualNorm' | Math.LinearMap.Category |
| DualSpace | Math.LinearMap.Category |
| DualSpaceWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| dualSpaceWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| DualVector | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |