OAI/AlgebraicGeometry/Seshadri/Intersection/QuadraticSequence.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.EulerNumerics.periodic_nat_gcd line 11
2. lemma OAI.MaximalSeshadri.EulerNumerics.periodic_nat_coprime_constant line 26
3. theorem OAI.MaximalSeshadri.EulerNumerics.quadratic_of_coprime_differences line 33
4. theorem OAI.MaximalSeshadri.EulerNumerics.slope_of_quadratic line 61