Documentation
Additive r => Multiplicative (Exp r) | |
AdditiveMonoid r => Unital (Exp r) | |
Idempotent r => Band (Exp r) | |
AdditiveGroup r => MultiplicativeGroup (Exp r) | |
Abelian r => Commutative (Exp r) | |
Partitionable r => Factorable (Exp r) |
Additive r => Multiplicative (Exp r) | |
AdditiveMonoid r => Unital (Exp r) | |
Idempotent r => Band (Exp r) | |
AdditiveGroup r => MultiplicativeGroup (Exp r) | |
Abelian r => Commutative (Exp r) | |
Partitionable r => Factorable (Exp r) |