| 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 |
| 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 |