Theorem isClosedMap_swap

Modification history