Theorem IsSelfAdjoint.adjoint_conj

Modification history