lean_workbook_plus_16942
ProvedProve that for any integer ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16942 (a : ℤ) : gcd a (a + 1) = 1 := by sorry
Source
Prove that for any integer ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16942 (a : ℤ) : gcd a (a + 1) = 1 := by sorry