Theorem IsSelfAdjoint.conj_starProjection

Modification history