Theorem AntilipschitzWith.mul_le_dist

Modification history