BCR Lemma 15 in situ: regrouping Claim 13's subchunks into the level-$(w{+}1)$ chunk system

Initializing...

BCR Lemma 15 in situ: regrouping Claim 13's subchunks into the level-$(w{+}1)$ chunk system · Prove2Me