Theorem Submodule.starProjection_unit_singleton

Modification history