OAI/AlgebraicGeometry/Seshadri/Interpolation/TorusJets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MaximalSeshadri.Interpolation.triangle_cyclic_jet_test line 9
2. theorem OAI.MaximalSeshadri.Interpolation.scaled_compressed_triangle line 82
3. theorem OAI.MaximalSeshadri.Interpolation.scaled_compressed_area line 91
4. theorem OAI.MaximalSeshadri.Interpolation.sqrt_scale line 103
5. theorem OAI.MaximalSeshadri.Interpolation.compressed_cyclic_jet_test line 107
6. theorem OAI.MaximalSeshadri.Interpolation.eventual_torus_jet_test line 156