OAI/AlgebraicGeometry/Seshadri/Projective/
206 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- AmpleBertini.lean 2 declarations
- AmpleEmbedding.lean 16 declarations
- BertiniEquations.lean 2 declarations
- BertiniSection.lean 1 declarations
- CenteredEmbedding.lean 3 declarations
- ClosedEmbedding.lean 17 declarations
- CoprimeEmbedding.lean 2 declarations
- FiniteAtlas.lean 5 declarations
- FramedMaps.lean 14 declarations
- GlobalIntegralQuartic.lean 3 declarations
- GlobalQuartic.lean 6 declarations
- HyperplaneAvoidance.lean 4 declarations
- HyperplaneIdeal.lean 7 declarations
- HyperplanePullback.lean 4 declarations
- HyperplaneSection.lean 3 declarations
- LocalBertiniSection.lean 1 declarations
- MixedEmbedding.lean 1 declarations
- OrdinaryQuadraticQuartic.lean 2 declarations
- PolynomialCharts.lean 36 declarations
- ProjectiveCartier.lean 1 declarations
- ProjectiveCoordinates.lean 4 declarations
- ProjectiveMapEvaluation.lean 3 declarations
- ProjectiveRefinement.lean 4 declarations
- ProjectiveTranslate.lean 11 declarations
- PullbackProjective.lean 5 declarations
- QuarticBertini.lean 1 declarations
- QuarticDivision.lean 4 declarations
- QuarticIdealBertini.lean 4 declarations
- QuarticReindex.lean 2 declarations
- QuarticSubsystem.lean 8 declarations
- SectionMaps.lean 29 declarations
- SurfaceQuartic.lean 1 declarations