Theorem isOpen_ne

Modification history