Documentation
LeanPool
.
Nikodym
.
Nikodym
.
LowerBound
Search
return to top
source
Imports
Init
LeanPool.Nikodym.Nikodym.LowerBound.Algebra
LeanPool.Nikodym.Nikodym.LowerBound.Arithmetic
LeanPool.Nikodym.Nikodym.LowerBound.CarrierBound
LeanPool.Nikodym.Nikodym.LowerBound.Counting
LeanPool.Nikodym.Nikodym.LowerBound.Grid
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert
LeanPool.Nikodym.Nikodym.LowerBound.InterpolationCut
LeanPool.Nikodym.Nikodym.LowerBound.Jets
LeanPool.Nikodym.Nikodym.LowerBound.Lines
LeanPool.Nikodym.Nikodym.LowerBound.Main
LeanPool.Nikodym.Nikodym.LowerBound.PolynomialSpaces
LeanPool.Nikodym.Nikodym.LowerBound.PrivateFamily
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.Assembly
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.BaseChange
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.BaseChangePrime
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.ComponentDegree
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.Degree
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.Dimension
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.DimensionExtra
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.FreeFiber
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.GradedLemmas
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.GradedNorm
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.HilbertPolynomial
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.Homogenization
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.HypersurfaceDegree
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.Interface
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.LinearNormalization
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.LocalParameters
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.NormalizationSetting
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.PolyAsymptotics
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.ProperCut
LeanPool.Nikodym.Nikodym.LowerBound.Algebra.Transfer
LeanPool.Nikodym.Nikodym.LowerBound.Arithmetic.BinomialGap
LeanPool.Nikodym.Nikodym.LowerBound.Arithmetic.Multiplicity
LeanPool.Nikodym.Nikodym.LowerBound.Arithmetic.WeightedSelection
LeanPool.Nikodym.Nikodym.LowerBound.Counting.Components
LeanPool.Nikodym.Nikodym.LowerBound.Counting.Curves
LeanPool.Nikodym.Nikodym.LowerBound.Counting.Points
LeanPool.Nikodym.Nikodym.LowerBound.Grid.CRT
LeanPool.Nikodym.Nikodym.LowerBound.Grid.Jets
LeanPool.Nikodym.Nikodym.LowerBound.Grid.OmittedConditions
LeanPool.Nikodym.Nikodym.LowerBound.Grid.Reduction
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert.Defs
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert.DegreeUpper
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert.Gap
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert.Normalized
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert.Shadow
LeanPool.Nikodym.Nikodym.LowerBound.Hilbert.StandardMonomials
LeanPool.Nikodym.Nikodym.LowerBound.Jets.Defs
LeanPool.Nikodym.Nikodym.LowerBound.Jets.LowerBound
LeanPool.Nikodym.Nikodym.LowerBound.Lines.Basic
LeanPool.Nikodym.Nikodym.LowerBound.Lines.Jets
LeanPool.Nikodym.Nikodym.LowerBound.Lines.Vanishing
Imported by
Supporting modules for The sharp finite-field Nikodym exponent.