Theorem isClosedMap_sum_elim

Modification history