Theorem ContinuousLinearMap.isClosed_range_iff_antilipschitz_of_injective

Modification history