Theorem Set.iUnion_iUnion_eq_right

Modification history