Theorem isOpenMap_ofMul

Modification history