P
Initializing...
Herbrand quotient one: #H¹ = #H² for finite cyclic G · Prove2Me