Theorem OpenEmbedding.open_iff_image_open

Modification history