Theorem isOpen_iUnion

Modification history