Theorem Alexandroff.isOpen_image_coe

Modification history