OAI/AlgebraicGeometry/Seshadri/Lattice/
38 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- InitialWeights.lean 18 declarations
- NodePolygon.lean 20 declarations
OAI/AlgebraicGeometry/Seshadri/Lattice/38 declarations, 0 contain sorry, 0 declared as axioms; 2 files