Theorem IsSelfAdjoint.isSymmetric

Modification history