Theorem ContinuousLinearMap.antilipschitz_of_injective_of_isClosed_range

Modification history