`OAI/AlgebraicGeometry/Seshadri/Configurations/`

61 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

AffineCenter.lean 5 declarations
AffinePointParameters.lean 6 declarations
CenterPrime.lean 2 declarations
Configurations.lean 35 declarations
GlobalCenter.lean 1 declarations
RationalPoint.lean 2 declarations
SmoothRationalPoints.lean 10 declarations