Theorem Set.pairwise_iUnion

Modification history