lean_workbook_plus_24728
Open14 choose two is
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_24728 : (choose 14 2 : ℚ) = (factorial 14)/(factorial 12 * factorial 2) := by sorry
Source
14 choose two is
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_24728 : (choose 14 2 : ℚ) = (factorial 14)/(factorial 12 * factorial 2) := by sorry