Index - D
| Dagger | Algebra.Category |
| dagger | Algebra.Category |
| DecidableZero | Algebra.Classes |
| Diag | Algebra.Category.BlockMatrix |
| diagonal | Algebra.Linear |
| dis | |
| 1 (Function) | Algebra.CategoryRecords |
| 2 (Function) | Algebra.Category |
| div | Algebra.Classes |
| Division | Algebra.Classes |
| divMod | Algebra.Classes |
| divZeroError | Algebra.Morphism.Ratio |
| Dual | Algebra.Types, Algebra.Types |
| DualCon | Algebra.Category.Objects |
| DualKind | Algebra.Types |
| DualObj | Algebra.Category.Objects |
| DualType | Algebra.Types |
| dup | |
| 1 (Function) | Algebra.CategoryRecords |
| 2 (Function) | Algebra.Category |