Theorem upperClosure_union

Modification history