Theorem Finset.fold_empty

Modification history