Theorem IsSelfAdjoint.conj_adjoint

Modification history