mathlib
1a39825b - doc(overview): combinatorics section (#5581)

Commit

5 years ago

doc(overview): combinatorics section (#5581) Added overview entries for simple graphs and some pigeonhole principles

Author

kmill

Parents