Jordan-Holder theorem for profinite groups and applications (arXiv, 2025)

(untitled) - Bar-On, T; Nikolov, N