Theorem Submodule.closure_subset_span

Modification history