OAI/AlgebraicGeometry/Seshadri/Nodal/
98 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- BranchDimension.lean 3 declarations
- BranchFaithfulness.lean 2 declarations
- EtaleNodalDivisor.lean 1 declarations
- EtaleNode.lean 1 declarations
- FramedNodalChart.lean 2 declarations
- FramedNodalDivisor.lean 1 declarations
- NodalAssociated.lean 3 declarations
- NodalBranch.lean 4 declarations
- NodalCurveDegree.lean 1 declarations
- NodalDegree.lean 3 declarations
- NodalDivisor.lean 1 declarations
- NodalDivisorDegree.lean 1 declarations
- NodalGlobalBound.lean 3 declarations
- NodalGlobalLength.lean 1 declarations
- NodalIdealDegree.lean 2 declarations
- NodalIdealEuler.lean 1 declarations
- NodalIntersection.lean 59 declarations
- NodalNumericalDegree.lean 3 declarations
- QuadraticDiscriminant.lean 4 declarations
- SchemeNodalIntersection.lean 2 declarations