P
Initializing...
BCR 2023, Lemma 12 — chunk systems of ratio $\alpha w^2$ at every level $w$ · Prove2Me