P
Initializing...
Lean-Workbook Syntax 64416: Half of an odd binomial row · Prove2Me