OAI/NumberTheory/Ostmann/Conclusion/RegularNormScale.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Ostmann.Conclusion.regular_numeric_scale_eventuallyline 16
OAI/NumberTheory/Ostmann/Conclusion/RegularNormScale.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.Ostmann.Conclusion.regular_numeric_scale_eventually line 16