rings-0.1: Ring-like objects.

rings-0.1: Ring-like objects.

Semirings, rings, division rings, and modules.

Signatures

Modules