lean_workbook_plus_7236
ProvedSolve the Diophantine equation: .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_7236 : ∃ a z : ℤ, 6*a+1=5*z := by sorry
Source
Solve the Diophantine equation: .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_7236 : ∃ a z : ℤ, 6*a+1=5*z := by sorry