Theorem isOpen_const

Modification history