OAI/AlgebraicGeometry/
16757 declarations, 0 contain sorry, 0 declared as axioms; 975 files
Folders
- AbhyankarSathaye/ 15 files, 241 declarations
- CartierSections/ 22 files, 219 declarations
- CharacterVarieties/ 90 files, 2870 declarations
- CommutingDerivations/ 21 files, 238 declarations
- LogKodaira/ 17 files, 254 declarations
- NumericalDimension/ 51 files, 1264 declarations
- PlaneCurves/ 117 files, 2532 declarations
- RelativeTriviality/ 17 files, 342 declarations
- SectionFields/ 16 files, 277 declarations
- Seshadri/ 421 files, 2888 declarations
- Stability/ 1 files, 77 declarations
- StableCoordinate/ 118 files, 1570 declarations
- SurfaceCones/ 66 files, 3985 declarations
Files
- CartierSections.lean 3 imports, no declarations
- CharacterVarieties.lean 5 imports, no declarations
- SurfaceCones.lean 3 imports, no declarations