P
Initializing...
Lean-Workbook Syntax 34532: Sum of the first n natural numbers · Prove2Me