Theorem antilipschitzWith_iff_le_mul_nndist

Modification history