Theorem Submodule.mem_sup'

Modification history