Theorem OnePoint.isOpen_iff_of_mem'

Modification history