OAI/NumberTheory/Ostmann/Arithmetic/BoundedLineComparison.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The quantitative line comparison from coefficient size and degree
- theorem
OAI.Ostmann.bounded_line_probability_comparison_leline 12