Theorem OnePoint.isOpen_image_coe

Modification history