rings-0.1.3: Ring-like objects.
Semirings, rings, division rings, modules, and algebras.
Signatures
Modules