Theorem isClosedMap_inr

Modification history