Theorem isClosedMap_inv

Modification history