lean_workbook_plus_25428
ProvedFor any integer show that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_25428 (a : ℤ) : gcd (2*a + 1) (9*a + 4) = 1 := by sorry
Source
For any integer show that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_25428 (a : ℤ) : gcd (2*a + 1) (9*a + 4) = 1 := by sorry