lean_workbook_plus_21167
ProvedFind the intersection of the line and the line .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_21167 (x y : ℝ) : (3*x + 4*y - 31 = 0 ∧ 4*x - 3*y - 33 = 0) ↔ x = 9 ∧ y = 1 := by sorry
Source