Григорий Клюшников:Sebastian, groups are a fully completely solved problem at this point.5 Jul 2022 at 22:35