Theorem ContinuousLinearMap.IsIdempotentElem.isSelfAdjoint_iff_isStarNormal

Modification history