P
Initializing...
Lean-Workbook Plus 71078: A polynomial with nonpositive coefficients is nonpositive · Prove2Me