OAI/NumberTheory/TotientAsymptotic/SimplexFixedCaps.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fixed-deviation cap estimates with constants uniform in the dimension.

  1. lemma OAI.TotientAsymptotic.simplex_fixed_caps line 12