OAI/NumberTheory/JointDickman/Probability/RationalKernelProgressions.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Rational geometric kernels along a progression

  1. theorem OAI.JointDickman.rational_geometric_progression_bound line 9