Mathlib.lean

leanprover-community · Oct 19, 2024 · 6479159 · 6479159
1 parent f560ccc
commit 6479159
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -4210,6 +4210,7 @@ import Mathlib.SetTheory.Cardinal.Continuum
 import Mathlib.SetTheory.Cardinal.CountableCover
 import Mathlib.SetTheory.Cardinal.Divisibility
 import Mathlib.SetTheory.Cardinal.ENat
+import Mathlib.SetTheory.Cardinal.FieldEmb
 import Mathlib.SetTheory.Cardinal.Finite
 import Mathlib.SetTheory.Cardinal.Finsupp
 import Mathlib.SetTheory.Cardinal.PartENat