OAI/NumberTheory/Ostmann/Arithmetic/MovingBadDiagonalRate.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The bad part of the actual logarithmic diagonal at the chosen gaps
- theorem
OAI.Ostmann.eventual_moving_bad_diagonal_rateline 12