Theorem Finset.fold_union_inter

Modification history