mathlib3
61e02dd2 - feat(data/finset): missing fold_map lemma (#794)

Commit

6 years ago

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

References

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

Author

kim-em

kim-em

Committer

cipher1024

cipher1024

Parents

Loading