Theorem Submodule.norm_starProjection_apply

Modification history