Theorem Set.finite_union

Modification history