Theorem isOpenMap_inl

Modification history