lean_workbook_plus_49745

Prove the linear representation of the greatest common divisor (gcd) of two integers $a$ and $b$, i.e., that there exist integers $x$ and $y$ such that $\text{gcd}(a, b) = xa + yb$.