Theorem Submodule.starProjection_map_apply

Modification history