Theorem Submodule.map_span

Modification history