Theorem isOpen_gt'

Modification history