lean_workbook_plus_28319
ProvedCalculate the number of ways to choose 3 students for the first group:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_28319 : Nat.choose 8 3 = 56 := by sorry
Source
Calculate the number of ways to choose 3 students for the first group:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_28319 : Nat.choose 8 3 = 56 := by sorry