Theorem Submodule.adjoint_orthogonalProjection

Modification history