lean_workbook_plus_27616
ProvedFind the solutions for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27616 (y : ℝ) : y^2 = 2 ∨ y^6 = 8 ↔ y^2 = 2 ∧ y^6 = 8 := by sorry
Source
Find the solutions for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27616 (y : ℝ) : y^2 = 2 ∨ y^6 = 8 ↔ y^2 = 2 ∧ y^6 = 8 := by sorry