Theorem Finset.disjUnion_eq_union

Modification history