lean_workbook_plus_3464
ProvedShow
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3464 : 10^30 < 2^100 ∧ 2^100 < 10^31 := by sorry
Source
Show
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3464 : 10^30 < 2^100 ∧ 2^100 < 10^31 := by sorry