Theorem LinearMap.IsIdempotentElem.commute_iff

Modification history