There are many lemmas and theorems involving the Lipschitz property which are in need of renaming, because their names contain lipschitz whilst the API they are referring is lipschitzWith. This issue is mainly created for bookkeeping which still need to be renamed.
There are many lemmas and theorems involving the Lipschitz property which are in need of renaming, because their names contain
lipschitzwhilst the API they are referring islipschitzWith. This issue is mainly created for bookkeeping which still need to be renamed.ContinuousLinearMap.lipschitzIsometry.lipschitzIsometryClass.lipschitzDilation.lipschitzLinearIsometry.lipschitzLinearIsometryEquiv.lipschitzSemilinearIsometryClasss.lipschitzContinuousLinearEquiv.lipschitzAffineIsometry.lipschitzAffineIsometryEquiv.lipschitzApproximatesLinearOn.lipschitzIsCoercive.lipschitzIsometry.antilipschitzIsometryClass.antilipschitzDilation.antilipschitzLinearIsometry.antilipschitzLinearIsometryEquiv.antilipschitzSemilinearIsometryClass.antilipschitzContinuousLinearEquiv.antilipschitzAffineIsometry.antilipschitzAffineIsometryEquiv.antilipschitzApproximatesLinearOn.antilipschitzIsCoercive.antilipschitzsetToL1_lipschitz