lean_workbook_plus_78557
ProvedThere are 52 total cards, and 16 are 'good' cards, making the probability .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78557 : (16 : ℚ) / 52 = 4 / 13 := by sorry
Source
There are 52 total cards, and 16 are 'good' cards, making the probability .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78557 : (16 : ℚ) / 52 = 4 / 13 := by sorry