mathlib3
9282f6cd - feat(finset): two simple lemmas (#5387)

Commit

5 years ago

feat(finset): two simple lemmas (#5387) also open function namespace Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

fpvandoorn

Parents