Theorem ContinuousLinearMap.isSelfAdjoint_iff_isSymmetric

Modification history