Theorem LinearMap.continuous_of_isClosed_ker

Modification history