Theorem orthogonalProjection_isSelfAdjoint

Modification history