OAI/NumberTheory/PiExponent/Approximation/SectionDivision.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PiExponentSeshadri.Geometry.section_value_naturality line 11
2. lemma OAI.PiExponentSeshadri.Geometry.section_eq_zero_of_top_value line 21
3. lemma OAI.PiExponentSeshadri.Geometry.section_eq_zero_of_local_restrictions line 31
4. theorem OAI.PiExponentSeshadri.Geometry.global_division_of_local_lifts line 55
5. lemma OAI.PiExponentSeshadri.Geometry.framed_local_division line 76