Theorem Submodule.re_inner_orthogonalProjection_nonneg

Modification history