Corollary 3.6 (group-theoretic step) — $M_{23}$ is not normal in any larger subgroup of $S_{23}$

Initializing...

Corollary 3.6 (group-theoretic step) — $M_{23}$ is not normal in any larger subgroup of $S_{23}$ · Prove2Me