Theorem Finset.fold_disjUnion

Modification history