Theorem IsSelfAdjoint.conjugate

Modification history