Theorem Submodule.norm_starProjection_apply_le

Modification history