mathlib
413b4263 - feat(finset/basic): fill in holes in the finset API (#7386)

Commit

4 years ago

feat(finset/basic): fill in holes in the finset API (#7386) add basic lemmas about finsets

Author

YaelDillies

Parents