Theorem isClosed_setOf_lipschitzOnWith

Modification history