Theorem isOpen_mk

Modification history