OAI/NumberTheory/PiExponent/Polynomials/
542 declarations, 0 contain sorry, 0 declared as axioms; 68 files
Files
- AuxiliaryPolynomial.lean 10 declarations
- CoefficientLocalizationMaximal.lean 2 declarations
- ColonHilbertPolynomial.lean 9 declarations
- CompositePullbackCoefficient.lean 1 declarations
- ConeHomogeneousEquations.lean 8 declarations
- CoordinateQuotientGrading.lean 25 declarations
- FrameCoefficientLaws.lean 2 declarations
- FrameCoefficients.lean 20 declarations
- GlobalPolynomialCoefficientLaw.lean 3 declarations
- GlobalPolynomialWeightedBound.lean 1 declarations
- GradedLocalizationExact.lean 22 declarations
- GradedLocalizationFree.lean 9 declarations
- GradedSerre.lean 12 declarations
- GradedSerreStep.lean 3 declarations
- GradedSubring.lean 4 declarations
- HilbertPolynomial.lean 9 declarations
- HilbertPolynomialBase.lean 5 declarations
- HomogeneousComponentLength.lean 2 declarations
- HomogeneousHilbertExistence.lean 4 declarations
- HomogeneousHilbertPolynomial.lean 3 declarations
- HomogeneousIdealStep.lean 2 declarations
- HomogeneousListHistory.lean 7 declarations
- HomogeneousPrimeFactor.lean 2 declarations
- HomogeneousPrimeFiltration.lean 5 declarations
- HomogeneousQuotientDimension.lean 11 declarations
- HomogeneousSections.lean 6 declarations
- HomogeneousSubmoduleGrading.lean 9 declarations
- Homogenization.lean 9 declarations
- MixedSlopePolynomial.lean 7 declarations
- NatToIntGrading.lean 13 declarations
- NestedPolynomialSwap.lean 3 declarations
- PolynomialAssociatedLocalization.lean 8 declarations
- PolynomialCoefficientLocalization.lean 17 declarations
- PolynomialCoordinateMinpolyQuotient.lean 16 declarations
- PolynomialCumulative.lean 10 declarations
- PolynomialFrame.lean 20 declarations
- PolynomialFrameDegree.lean 13 declarations
- PolynomialGrowthRanks.lean 14 declarations
- PolynomialLocalLowExt.lean 1 declarations
- PolynomialLocalRegularParameters.lean 1 declarations
- PolynomialLocalResidueResolution.lean 15 declarations
- PolynomialLocalUnmixedness.lean 16 declarations
- PolynomialMaximalHeight.lean 4 declarations
- PolynomialNormalNonzero.lean 4 declarations
- PolynomialPoleBound.lean 6 declarations
- PolynomialPrimeClosedPointEquiv.lean 9 declarations
- PolynomialPrimeDimension.lean 6 declarations
- PowerCoverBasis.lean 15 declarations
- PowerCoverExponents.lean 20 declarations
- PowerCoverSubstitution.lean 9 declarations
- PullbackFrameCoefficient.lean 2 declarations
- RationalResidueCoefficientField.lean 4 declarations
- ShiftedFreeGrading.lean 10 declarations
- SimplexCounting.lean 19 declarations
- SimplexFloor.lean 4 declarations
- SimplexLog.lean 4 declarations
- SimplexRational.lean 5 declarations
- SimplexRationalWeights.lean 1 declarations
- SimplexUnweighted.lean 7 declarations
- SurjectiveGradedMap.lean 3 declarations
- TranslatedPowerCover.lean 9 declarations
- WeightedHomogeneousSubstitution.lean 5 declarations
- WeightedMonomialFamilyLattice.lean 1 declarations
- WeightedMonomialImage.lean 16 declarations
- WeightedMonomialLattice.lean 1 declarations
- WeightedMonomialMap.lean 8 declarations
- WeightedMonomialPole.lean 6 declarations
- WeightedPolynomialPole.lean 5 declarations