Theorem Set.iUnion₂_subset_iff

Modification history