Theorem Submodule.subset_span_trans

Modification history