feat: port Data.List.AList (#1530)

leanprover-community · Jan 13, 2023 · 40d6bcd · 40d6bcd
1 parent 7b13f69
commit 40d6bcd
Show file tree

Hide file tree

Showing 2 changed files with 475 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -251,6 +251,7 @@ import Mathlib.Data.Int.Sqrt
 import Mathlib.Data.Int.Units
 import Mathlib.Data.KVMap
 import Mathlib.Data.LazyList
+import Mathlib.Data.List.AList
 import Mathlib.Data.List.Basic
 import Mathlib.Data.List.BigOperators.Basic
 import Mathlib.Data.List.BigOperators.Lemmas