ComputedQueryConstants.lean`

3 declarations, 0 contain sorry, 0 declared as axioms

theorem OAI.EditApproximation.computedQueryParameters_numeric line 11
Source documentation
The prepared record for the precise shared constants used by the memo.
```
theorem computedQueryParameters_numeric :
    ∀ᶠ N : ℕ in atTop, ∀ nx ny, nx + ny ≤ N → ∀ t, t ≤ inputHeight N ^ 2 → ∀ pass,
      BinaryFraction.PreparedKernelNumericBounds (nx := nx) (ny := ny) (M := (integerParameters N).M)
…
```
Mentions: OAI.EditApproximation.inputHeight, OAI.EditApproximation.BinaryFraction.PreparedKernelNumericBounds, OAI.EditApproximation.integerParameters
theorem OAI.EditApproximation.computedQueryMass_word line 27
theorem OAI.EditApproximation.computedQueryInitialFactor_cap line 36