Documentation
Additive r => Multiplicative (Exp r) | |
Partitionable r => Factorable (Exp r) | |
Monoidal r => Unital (Exp r) | |
Idempotent r => Band (Exp r) | |
Group r => Division (Exp r) | |
Abelian r => Commutative (Exp r) |
Additive r => Multiplicative (Exp r) | |
Partitionable r => Factorable (Exp r) | |
Monoidal r => Unital (Exp r) | |
Idempotent r => Band (Exp r) | |
Group r => Division (Exp r) | |
Abelian r => Commutative (Exp r) |