Theorem Set.sUnion_eq_biUnion

Modification history