Theorem OnePoint.isOpen_range_coe

Modification history