Theorem Set.accumulate_subset_iUnion

Modification history