Theorem Submodule.mem_colon

Modification history