P
Initializing...
Exclude the $\mathbb Z_2^2\times\mathbb Z_3^2$ subgroup case · Prove2Me