Theorem Set.up_union

Modification history