lean_workbook_plus_35982
ProvedProve that if and , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_35982 : 64 > 35 := by sorry
Source
Prove that if and , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_35982 : 64 > 35 := by sorry