Theorem Alexandroff.isOpen_compl_image_coe

Modification history