Theorem Set.iUnion₂_eq_univ_iff

Modification history