OAI/Algebra/DepthFive/LowerNumerics.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Canonical numerical lemmas supporting the lower-bound rank argument.
This file declares nothing itself. It gathers the 8 imports below, so a file that imports it gets all of them.
Imports
- OAI.Algebra.DepthFive.DegreeDiscrepancy
- OAI.Algebra.DepthFive.DegreeProductBounds
- OAI.Algebra.DepthFive.DegreeWeight
- OAI.Algebra.DepthFive.EvenCorrection
- OAI.Algebra.DepthFive.DimensionCorrection
- OAI.Algebra.DepthFive.LowerAsymptotics
- OAI.Algebra.DepthFive.AnalyticParameters
- OAI.Algebra.DepthFive.ProductCost