OAI/NumberTheory/Ostmann/Arithmetic/MovingDiagonalEnergyPatterns.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The complete diagonal energy is controlled by its signed pattern means
- theorem
OAI.Ostmann.movingOriginalDiagonalEnergy_pattern_boundline 10