P
Initializing...
Lean-Workbook Syntax 74095: A nonnegative finite sum of shifted squares · Prove2Me