Theorem LinearMap.IsIdempotentElem.eq_isCompl_projection

Modification history