lean_workbook_plus_8968
OpenVerify the identity with an example:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8968 : choose 3 0 + choose 4 1 + choose 5 2 = choose 6 2 := by sorry
Source
Verify the identity with an example:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8968 : choose 3 0 + choose 4 1 + choose 5 2 = choose 6 2 := by sorry