Theorem LinearMap.exists_antilipschitzWith

Modification history