Theorem isClosedMap_inl

Modification history