Theorem isClosedMap_smul_left

Modification history