Theorem ContinuousLinearMap.IsIdempotentElem.range_eq_ker

Modification history