Theorem OpenEmbedding.isOpenMap_iff

Modification history