lean_workbook_plus_78964
ProvedCalculate the number of ways to choose 3 students for the second group:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78964 : Nat.choose 5 3 = 10 := by sorry
Source
Calculate the number of ways to choose 3 students for the second group:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78964 : Nat.choose 5 3 = 10 := by sorry