Step * of Lemma gcd_p_one

a:ℤGCD(a;1;1)
BY
(Unfold `gcd_p` THEN Auto) }


Latex:


Latex:
\mforall{}a:\mBbbZ{}.  GCD(a;1;1)


By


Latex:
(Unfold  `gcd\_p`  0  THEN  Auto)




Home Index