Theorem intentClosure_union

Modification history