Theorem LinearMap.IsIdempotentElem.isCompl

Modification history