Theorem LinearMap.IsIdempotentElem.range_eq_ker

Modification history