Theorem antilipschitzWith_iff_le_mul_dist

Modification history