Theorem isClosedMap_sum

Modification history