Theorem Submodule.ker_orthogonalProjection

Modification history