Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Profinite Groups

[system]

---

This is a companion discussion topic for the original entry at https://arxiv.org/abs/2606.23600