Theorem Set.finite_subset_iUnion

Modification history