OAI/AlgebraicGeometry/Seshadri/Intersection/IntersectionBilinear.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.Geometry.mixedEuler_ample_twist_left line 15
2. lemma OAI.MaximalSeshadri.Geometry.mixedEuler_tensor_right_general line 31
3. lemma OAI.MaximalSeshadri.Geometry.mixedEuler_pow_right_general line 40
4. lemma OAI.MaximalSeshadri.Geometry.mixedEuler_tensor_left_general line 49
5. lemma OAI.MaximalSeshadri.Geometry.mixedEuler_pow_left_general line 55
6. lemma OAI.MaximalSeshadri.Geometry.Surface.selfIntersection_tensor_general line 60
7. lemma OAI.MaximalSeshadri.Geometry.Surface.selfIntersection_twist_general line 69