Theorem Equiv.isOpenMap_symm_iff

Modification history