Theorem LinearMap.isIdempotentElem_iff_eq_isCompl_projection_range_ker

Modification history