Theorem OnePoint.isOpen_compl_image_coe

Modification history