OAI/NumberTheory/SiegelZeros/Intersection/
352 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- AffineTranscendenceDimension.lean 5 declarations
- BezoutBoundary.lean 1 declarations
- CompleteIntersectionComponentBound.lean 5 declarations
- ConeProjectivePoint.lean 19 declarations
- DivisorSmoothness.lean 15 declarations
- IsolatedBezoutFromRegularSelection.lean 18 declarations
- IsolatedIntersectionSteps.lean 7 declarations
- LocalIntersectionFormula.lean 57 declarations
- LocalLengthMulProjectiveClosureDegree.lean 1 declarations
- LocalPrefixCutDimension.lean 2 declarations
- NormalIntersection.lean 7 declarations
- PrimeHypersurfaceEquidimension.lean 16 declarations
- RetainedIntersectionCycles.lean 26 declarations
- TorusEvalOne.lean 40 declarations
- TorusImmersionGenericPointFormallySmooth.lean 1 declarations
- TorusIntoProj.lean 4 declarations
- TorusPolynomial.lean 17 declarations
- TorusProjectiveClosure.lean 110 declarations
- TorusRectangleJetIdealParametersProjectiveDegreeBound.lean 1 declarations