`OAI/AlgebraicGeometry/Seshadri/`

2888 declarations, 0 contain sorry, 0 declared as axioms; 421 files

Folders

Analytic/ 7 files, 127 declarations
Bertini/ 14 files, 200 declarations
Blowup/ 34 files, 362 declarations
Cohomology/ 69 files, 403 declarations
Configurations/ 7 files, 61 declarations
Divisors/ 28 files, 152 declarations
Geometry/ 49 files, 204 declarations
Interpolation/ 23 files, 239 declarations
Intersection/ 43 files, 168 declarations
Jets/ 20 files, 164 declarations
Lattice/ 2 files, 38 declarations
LocalAlgebra/ 19 files, 50 declarations
Nodal/ 20 files, 98 declarations
Projective/ 32 files, 206 declarations
Sheaves/ 51 files, 368 declarations

Files

Definitions.lean 2 declarations
Main.lean 1 declarations
Model.lean 45 declarations