Theorem Submodule.colon_top

Modification history