Theorem Submodule.starProjection_minimal

Modification history