feat: port NumberTheory.Dioph (#4914)

leanprover-community · Jun 11, 2023 · fe6b4e5 · fe6b4e5
1 parent 5e3467b
commit fe6b4e5
Show file tree

Hide file tree

Showing 2 changed files with 800 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -2190,6 +2190,7 @@ import Mathlib.NumberTheory.BernoulliPolynomials
 import Mathlib.NumberTheory.ClassNumber.AdmissibleAbs
 import Mathlib.NumberTheory.ClassNumber.AdmissibleAbsoluteValue
 import Mathlib.NumberTheory.ClassNumber.AdmissibleCardPowDegree
+import Mathlib.NumberTheory.Dioph
 import Mathlib.NumberTheory.Divisors
 import Mathlib.NumberTheory.Fermat4
 import Mathlib.NumberTheory.FermatPsp