OAI/NumberTheory/JointDickman/Amplification/AuxiliaryLogWeights.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Logarithmic bin-count factors against the prime threshold

  1. lemma OAI.JointDickman.auxiliary_threshold_log_weight line 8
  2. lemma OAI.JointDickman.auxiliary_cofactor_log_weight line 21
  3. lemma OAI.JointDickman.auxiliary_cross_log_weight line 30