Theorem Submodule.starProjection_singleton

Modification history