Theorem Submodule.mem_colon'

Modification history