Theorem Submodule.smul_starProjection_singleton

Modification history