OAI/AlgebraicGeometry/Seshadri/Geometry/PolynomialLattices.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MaximalSeshadri.LaurentLattices.range_le_lattice line 20
2. theorem OAI.MaximalSeshadri.LaurentLattices.range_intersection_finite line 39