lean_workbook_plus_79822
Proved(1).
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_79822 (h : 52 ≠ 0 ∧ 51 ≠ 0) : (4 : ℚ) / 52 * (3 / 51) = 12 / 2652 := by sorry
Source
(1).
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_79822 (h : 52 ≠ 0 ∧ 51 ≠ 0) : (4 : ℚ) / 52 * (3 / 51) = 12 / 2652 := by sorry