Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-06 10:16 61e02dd2

View on Github →

feat(data/finset): missing fold_map lemma (#794)

Estimated changes

added theorem finset.fold_map