Theorem IsSelfAdjoint.conjugate'

Modification history