A just-infinite iterated monodromy group without the congruence subgroup property math.GR · 2025-05-26