Theorem isOpenMap_inv

Modification history