Theorem Submodule.tmul_mem_baseChange_of_mem

Modification history