Theorem Submodule.fg_span

Modification history