Theorem IsSelfAdjoint.conj_orthogonalProjection

Modification history