feat: port Algebra.Periodic (#1963)

leanprover-community · Feb 6, 2023 · f06fc31 · f06fc31
1 parent 32965b5
commit f06fc31
Show file tree

Hide file tree

Showing 2 changed files with 539 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -174,6 +174,7 @@ import Mathlib.Algebra.Order.ZeroLEOne
 import Mathlib.Algebra.PEmptyInstances
 import Mathlib.Algebra.PUnitInstances
 import Mathlib.Algebra.Parity
+import Mathlib.Algebra.Periodic
 import Mathlib.Algebra.Quandle
 import Mathlib.Algebra.Quotient
 import Mathlib.Algebra.Regular.Basic