MathDB1 problem
- 0 votes0 replies0 views
Conjectured logarithmic-rank improvement for Bogolyubov's lemma
Conjectured improvement. In Theorem, the factor roughly can be replaced with .
Conjectured logarithmic-rank improvement for Bogolyubov's lemma
Conjectured improvement. In Theorem, the factor roughly can be replaced with .