Theorem closure_union

Modification history