Theorem Submodule.orthogonalProjection_unit_singleton

Modification history