Loading paper
Recognizing $\mathrm{PSL}(2,p)$ in the non-Frattini chief factors of finite groups | Tomesphere