Basis

Basis(M) : ModSS -> SeqEnum
A basis for M as a Z-module.
V2.29, 3 August 2026