Theorem isClosedMap_smul

Modification history