Theorem isOpen_lt

Modification history