Theorem Set.union_eq_iUnion

Modification history