OAI/NumberTheory/JointDickman/Counting/CanonicalAffineEnergy.lean
1 declarations, 0 contain sorry, 0 declared as axioms
An affine spectral bound at the canonical application scales
- theorem
OAI.JointDickman.canonical_affine_energyline 12