Theorem ContinuousLinearMap.IsIdempotentElem.ker_eq_range

Modification history