Theorem Submodule.mem_singleton_set_smul

Modification history