Theorem Finset.fold_map

Modification history