Theorem ContinuousLinearMap.IsIdempotentElem.commute_iff

Modification history