P
Initializing...
Values of `nilpotentEval` on constants and on the two variables. · Prove2Me