OAI/NumberTheory/Ostmann/QuadraticCenter/HighWeightQuadraticWaves.lean
1 declarations, 0 contain sorry, 0 declared as axioms
High-weight correlations after the quadratic normalization and pair count
- theorem
OAI.Ostmann.eventual_high_weight_quadratic_wavesline 13