lean_workbook_plus_80333
ProvedProve that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_80333 : 2^116 < 10^35 := by sorry
Source
Prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_80333 : 2^116 < 10^35 := by sorry