Theorem Submodule.starProjection_apply

Modification history