Combinatorics

Stream: maths

[Bhavik Mehta]

I've finished up the combinatorics project I've been working on for a while! You can find it here: https://github.com/b-mehta/combinatorics. The main goal was the Kruskal-Katona theorem, but I proved a couple of other things along the way. PRs are very welcome (I've even made a few issues with possible contributions) - I might PR it to mathlib when I get the chance (though if someone else would like to, please go ahead).

[Bryan Gin-ge Chen]

This is cool, thanks for sharing! I definitely would like to see more combinatorics in mathlib...

[Johan Commelin]

@Bhavik Mehta That's really nice stuff. I encourage you to PR (parts of) it to mathlib.