Theorem Alexandroff.isClosed_image_coe

Modification history