Theorem LinearMap.IsIdempotentElem.ker_eq_range

Modification history