OAI/NumberTheory/Ostmann/ZeroDensity/CompletedQuotientGrowth.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform normalized growth of the actual zero-removed quotients

  1. theorem OAI.Ostmann.completed_quotient_log_growth line 13