Theorem Submodule.mem_localized'

Modification history