Theorem Submodule.mul_subset_mul

Modification history