Theorem Set.iUnion₂_subset

Modification history