Theorem Submodule.starProjection_top

Modification history