Theorem Submodule.orthogonalProjection_singleton

Modification history