OAI/Analysis/LipschitzHilbert/Estimates/TopPolynomialDecay.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The inverse of the fixed polynomial top weight is bounded by the eighth power of the physical slope-box weight.

  1. theorem OAI.LipschitzHilbert.SlopeBox.inverse_polynomial_le_weight line 12