P
Initializing...
Lean-Workbook Syntax 69836: A nonpositive sum under interval bounds · Prove2Me