P
Initializing...
The square of the lifted S-generator is central · Prove2Me