Theorem Submodule.norm_subtypeL_le

Modification history