Theorem isOpen_lt'

Modification history