lean_workbook_plus_10244
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_10244 (x : ℝ) (hx: x = 8^85): x > 5^100 ∧ x > 6^95 ∧ x > 7^90 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_10244 (x : ℝ) (hx: x = 8^85): x > 5^100 ∧ x > 6^95 ∧ x > 7^90 := by sorry