Theorem Submodule.starProjection_comp_starProjection_of_le

Modification history