OAI/AlgebraicGeometry/Seshadri/Blowup/UnequalNefNumerics.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.NefNumerics.exists_bounded_rational_perturbation line 13
2. lemma OAI.MaximalSeshadri.NefNumerics.rational_positive_common_scale line 44
3. theorem OAI.MaximalSeshadri.NefNumerics.exists_integral_unequal_perturbation line 64