P
Initializing...
Coprime primitive curries never specialize both to zero · Prove2Me