feat: port Combinatorics.Colex (#1926)

Co-authored-by: Moritz Firsching <firsching@google.com> Co-authored-by: Komyyy <pol_tta@outlook.jp>
leanprover-community · Feb 4, 2023 · acdd22b · acdd22b
1 parent 8b2fe78
commit acdd22b
Show file tree

Hide file tree

Showing 2 changed files with 431 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -226,6 +226,7 @@ import Mathlib.CategoryTheory.Sigma.Basic
 import Mathlib.CategoryTheory.Thin
 import Mathlib.CategoryTheory.Whiskering
 import Mathlib.Combinatorics.Additive.Energy
+import Mathlib.Combinatorics.Colex
 import Mathlib.Combinatorics.DoubleCounting
 import Mathlib.Combinatorics.Hall.Finite
 import Mathlib.Combinatorics.Pigeonhole