OAI/NumberTheory/PowerFree/
1225 declarations, 0 contain sorry, 0 declared as axioms; 63 files
Files
- AdaptiveFibres.lean 21 declarations
- AdaptiveRanks.lean 20 declarations
- AffineCounting.lean 3 declarations
- AffineHilbert.lean 12 declarations
- BoundedLifts.lean 14 declarations
- ComplexValues.lean 45 declarations
- CurveAlternatives.lean 18 declarations
- CurveThresholds.lean 32 declarations
- DeformedRoots.lean 24 declarations
- DegreeBudgets.lean 17 declarations
- DegreeSchedules.lean 12 declarations
- EmbeddingCharts.lean 26 declarations
- GenericCuts.lean 18 declarations
- HighDegree.lean 7 declarations
- HilbertGrowth.lean 26 declarations
- HilbertSimplex.lean 18 declarations
- HomogeneousLifts.lean 12 declarations
- IntegerPatches.lean 23 declarations
- IntegralKernels.lean 30 declarations
- Jacobians.lean 11 declarations
- LaurentCoordinates.lean 18 declarations
- Main.lean 5 declarations
- MediumDegree.lean 13 declarations
- Model.lean 7 declarations
- NormBoxes.lean 9 declarations
- NormComponents.lean 15 declarations
- NormHilbert.lean 11 declarations
- NormalMonomials.lean 36 declarations
- PairAlgebras.lean 34 declarations
- PairBoundaries.lean 13 declarations
- PairCuts.lean 39 declarations
- PairHilbert.lean 55 declarations
- PairProjections.lean 22 declarations
- PatchBounds.lean 25 declarations
- PointInterpolation.lean 19 declarations
- PoleCoefficients.lean 16 declarations
- PositiveCoordinates.lean 18 declarations
- PrimeBlocks.lean 19 declarations
- PrimePools.lean 17 declarations
- PrincipalLifts.lean 35 declarations
- ProjectionDegrees.lean 17 declarations
- PureCuts.lean 12 declarations
- QuarticBoxes.lean 14 declarations
- QuarticComponents.lean 35 declarations
- QuarticPairs.lean 14 declarations
- QuarticSurfaces.lean 5 declarations
- RadialFibres.lean 9 declarations
- RationalCoordinates.lean 12 declarations
- RegularBlocks.lean 17 declarations
- ResidueBounds.lean 10 declarations
- ResidueRelations.lean 23 declarations
- RootPairHilbert.lean 11 declarations
- SelectedPrimes.lean 21 declarations
- Sieve.lean 59 declarations
- StoppingTrees.lean 16 declarations
- SurfaceCounting.lean 10 declarations
- ThreePoles.lean 17 declarations
- TwoPoles.lean 14 declarations
- UnitBalancing.lean 13 declarations
- WeightedFunctions.lean 16 declarations
- WeightedHypersurfaces.lean 26 declarations
- WeightedRelations.lean 13 declarations
- WeightedSlabs.lean 26 declarations