OAI/NumberTheory/JointDickman/Counting/CoefficientPairMajorant.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The actual two-coefficient weight and its good-prime majorant
- theorem
OAI.JointDickman.coefficient_pair_le_good_primesline 13