Theorem Submodule.starProjection_top'

Modification history