Theorem ContinuousLinearMap.IsIdempotentElem.ext_iff

Modification history