Theorem LinearMap.isProj_iff_isIdempotentElem

Modification history