Theorem Submodule.span_subset_span

Modification history