OAI/NumberTheory/JointDickman/Counting/CanonicalWindowEnergy.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The full canonical bound at the manuscript's short-length scales
- theorem
OAI.JointDickman.canonical_window_energyline 12