OAI/NumberTheory/CubicMoment/Estimates/UniformWeightCoordinates.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Reindexing and finite-coordinate assembly for uniform smooth weights.

  1. def OAI.CubicFirstMoment.UniformLogWeights.reindex line 11
  2. def OAI.CubicFirstMoment.UniformLogWeights.finiteCoordinates line 23