OAI/NumberTheory/PiExponent/Geometry/CurveSectionDegree.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PiExponent.CurveSectionDegree.AffineFrameAt line 15
2. theorem OAI.PiExponent.CurveSectionDegree.nonempty_affineFrameAt line 20
3. def OAI.PiExponent.CurveSectionDegree.affineFrameAt line 25
4. def OAI.PiExponent.CurveSectionDegree.coefficientGermAt line 28
5. theorem OAI.PiExponent.CurveSectionDegree.zeroPoint_ne_generic line 33
6. theorem OAI.PiExponent.CurveSectionDegree.euler_difference_eq_sum_zero_orders line 49