Theorem isClosed_cantorSet

Modification history