OAI/NumberTheory/TotientAsymptotic/WeightedFiber.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TotientAsymptotic.prefixCandidateFactor line 12
2. lemma OAI.TotientAsymptotic.tupleLeastCandidate_eq_head line 15
3. def OAI.TotientAsymptotic.candidatePrimeSet line 21
4. lemma OAI.TotientAsymptotic.candidate_fiber_card line 26
5. lemma OAI.TotientAsymptotic.candidate_count_eq_prime_fibers line 62