Add dynamical uniformity

leanprover-community · Jul 10, 2024 · 5566b28 · 5566b28
1 parent 3162e25
commit 5566b28
Show file tree

Hide file tree

Showing 2 changed files with 2,801 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -2461,6 +2461,7 @@ import Mathlib.Dynamics.Minimal
 import Mathlib.Dynamics.Newton
 import Mathlib.Dynamics.OmegaLimit
 import Mathlib.Dynamics.PeriodicPts
+import Mathlib.Dynamics.TopologicalEntropy.DynamicalUniformity
 import Mathlib.FieldTheory.AbelRuffini
 import Mathlib.FieldTheory.AbsoluteGaloisGroup
 import Mathlib.FieldTheory.Adjoin