P
Initializing...
Lean-Workbook Syntax 81229: The admissible auditorium seat counts sum to 615 · Prove2Me