Theorem OpenEmbedding.isOpenMap

Modification history