P
Initializing...
Polynomial-time computability of the constant empty output · Prove2Me