Published Paper AI statement: 🟢 AI-Free: no AI used. Inserted: 24 apr 2023 Last Updated: 13 nov 2026 Journal: J. Eur. Math. Soc. Year: 2024 Doi: DOI 10.4171/JEMS/1435