All.lean
Nyll.SchemeTheory.PlaneCurves.All
0 declarations indexed from sourceView source ↗
Module documentation
Affine plane curves
This facade collects coordinate rings, rational points, monic projections, and the equivalence between simple and normal points on affine plane curves.
Imports11
- Nyll.SchemeTheory.PlaneCurves.ConstantExtension
- Nyll.SchemeTheory.PlaneCurves.CoordinateRing
- Nyll.SchemeTheory.PlaneCurves.Dimension
- Nyll.SchemeTheory.PlaneCurves.Geometric
- Nyll.SchemeTheory.PlaneCurves.MonicChange
- Nyll.SchemeTheory.PlaneCurves.MonicProjection
- Nyll.SchemeTheory.PlaneCurves.NormalImpliesSimple
- Nyll.SchemeTheory.PlaneCurves.NormalPoint
- Nyll.SchemeTheory.PlaneCurves.PartialDerivatives
- Nyll.SchemeTheory.PlaneCurves.RationalPoints
- Nyll.SchemeTheory.PlaneCurves.SimpleImpliesNormal
Imported by1
This module has no indexed declarations. Its imports and full source are available here.