Theorem Submodule.norm_subtypeL

Modification history