Theorem generateFrom_union_isOpen

Modification history