Theorem isClosedMap_ofMul

Modification history