Theorem Finset.fold_image

Modification history