Theorem AntilipschitzWith.isClosed_range

Modification history