Theorem Submodule.mul_mem_mul

Modification history