Theorem Submodule.subtype_comp_ofLe

Modification history