feat: port Combinatorics.Configuration (#4025)

Co-authored-by: Moritz Firsching <firsching@google.com> Co-authored-by: Thomas Browning <tb65536@uw.edu> Co-authored-by: int-y1 <jason_yuen2007@hotmail.com> Co-authored-by: Chris Hughes <chrishughes24@gmail.com>
leanprover-community · May 22, 2023 · c8b79ba · c8b79ba
1 parent 8c6ccaf
commit c8b79ba
Show file tree

Hide file tree

Showing 2 changed files with 529 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -787,6 +787,7 @@ import Mathlib.Combinatorics.Additive.SalemSpencer
 import Mathlib.Combinatorics.Catalan
 import Mathlib.Combinatorics.Colex
 import Mathlib.Combinatorics.Composition
+import Mathlib.Combinatorics.Configuration
 import Mathlib.Combinatorics.Derangements.Basic
 import Mathlib.Combinatorics.Derangements.Finite
 import Mathlib.Combinatorics.DoubleCounting