Theorem ContinuousLinearMap.lipschitz_apply

Modification history