Theorem IsSelfAdjoint.skewAdjointPart_apply

Modification history