Theorem Submodule.norm_starProjection

Modification history