Theorem Submodule.map₂_span_span

Modification history