Theorem Submodule.smul_mem_iff''

Modification history