lean_workbook_plus_65922
DisprovedWhat is the correct way to calculate ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_65922 : (-8 : ℝ)^(1/3) = -2 := by sorry
Source
What is the correct way to calculate ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_65922 : (-8 : ℝ)^(1/3) = -2 := by sorry