Theorem Set.iUnion_singleton_eq_range

Modification history