Theorem Set.prod_union

Modification history