lean_workbook_plus_6087
ProvedSolve for :\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6087 (z c : ℂ) : 7 - 4 * z = 13 * c ↔ z = (7 - 13 * c) / 4 := by sorry
Source
Solve for :\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6087 (z c : ℂ) : 7 - 4 * z = 13 * c ↔ z = (7 - 13 * c) / 4 := by sorry