Theorem Submodule.mem_div_iff_smul_subset

Modification history