Theorem ContinuousLinearMap.IsIdempotentElem.isClosed_range

Modification history