OAI/NumberTheory/TotientAsymptotic/NormalitySmoothCount.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Smooth shifted integers below the normality sieve cutoff.

  1. lemma OAI.TotientAsymptotic.normality_smooth_count line 10