Theorem isOpenMap_smul

Modification history