Theorem ContinuousLinearMap.isStarProjection_iff_isIdempotentElem_and_isStarNormal

Modification history