P
Initializing...
Base state of rotP (stack form, as KIL's rotP_spec) · Prove2Me