Theorem IsSelfAdjoint.coe_realPart

Modification history