lean_workbook_plus_23480
OpenIs there a way to show that ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_23480 : Real.logb 4 8 = 3 / 2 := by sorry
Source
Is there a way to show that ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_23480 : Real.logb 4 8 = 3 / 2 := by sorry