Theorem AntilipschitzWith.restrict

Modification history