Basis

Basis(M) : ModSS -> SeqEnum
A basis for M as a Z-module.
V2.29, 28 November 2025