lean_workbook_plus_37833

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Let $y^2 = a$ and $z^3 = a$ . Then $(\frac {y}{z})^6 = \frac {y^6}{z^6} = \frac {a^3}{a^2} = a$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_37833  (y z a : ℂ)
  (h₀ : y^2 = a)
  (h₁ : z^3 = a) :
  (y / z)^6 = a   :=  by sorry

Source