Documentation
LeanPool
.
Nikodym
.
Nikodym
.
LowerBound
.
Grid
Search
return to top
source
Imports
Init
LeanPool.Nikodym.Nikodym.LowerBound.Grid.CRT
LeanPool.Nikodym.Nikodym.LowerBound.Grid.Jets
LeanPool.Nikodym.Nikodym.LowerBound.Grid.OmittedConditions
LeanPool.Nikodym.Nikodym.LowerBound.Grid.Reduction
Imported by
Supporting modules for The sharp finite-field Nikodym exponent.