P
Initializing...
§3 — $M_{23}$ is 4-transitive on 23 points · Prove2Me