Theorem ContinuousLinearMap.ker_closedComplemented_of_finiteDimensional_range

Modification history