OAI/AlgebraicGeometry/Seshadri/Interpolation/WeightedRescaling.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MaximalSeshadri.Interpolation.exponentWeight line 15
2. def OAI.MaximalSeshadri.Interpolation.StrictInitial line 17
3. def OAI.MaximalSeshadri.Interpolation.rescaleCoeff line 20
4. lemma OAI.MaximalSeshadri.Interpolation.norm_rescaleCoeff_mono line 24
5. lemma OAI.MaximalSeshadri.Interpolation.rescaleCoeff_eq_scaled line 37
6. lemma OAI.MaximalSeshadri.Interpolation.absolute_rescaleCoeff line 46
7. def OAI.MaximalSeshadri.Interpolation.initialCoeff line 68
8. lemma OAI.MaximalSeshadri.Interpolation.rescaleCoeff_tendsto line 71
9. lemma OAI.MaximalSeshadri.Interpolation.seriesPartial_initialCoeff line 85
10. theorem OAI.MaximalSeshadri.Interpolation.mixedDeriv_rescale_tendsto line 92
11. lemma OAI.MaximalSeshadri.Interpolation.seriesEval_rescale line 129
12. lemma OAI.MaximalSeshadri.Interpolation.iteratedDeriv_dilation line 141
13. lemma OAI.MaximalSeshadri.Interpolation.mixedDeriv_dilation line 152
14. lemma OAI.MaximalSeshadri.Interpolation.mixedDeriv_rescale line 166
15. lemma OAI.MaximalSeshadri.Interpolation.finiteJetColumn_const_mul line 176
16. lemma OAI.MaximalSeshadri.Interpolation.finiteJetColumn_monomial line 185
17. lemma OAI.MaximalSeshadri.Interpolation.rescale_jet_limit line 193
18. def OAI.MaximalSeshadri.Interpolation.dilationJetScale line 218
19. lemma OAI.MaximalSeshadri.Interpolation.finiteJetColumn_rescale line 222
20. lemma OAI.MaximalSeshadri.Interpolation.rescale_jet_rank line 237
21. theorem OAI.MaximalSeshadri.Interpolation.initial_monomial_jet_transfer_strict line 249