mathlib
5e022925 - feat(data/finset/*): Diverse lemmas (#10388)

Commit

4 years ago

feat(data/finset/*): Diverse lemmas (#10388) A bunch of simple lemmas

Author

YaelDillies

YaelDillies

Parents

Loading