Theorem Submodule.orthogonalProjection_minimal

Modification history