Step
*
of Lemma
gcd_p_one
∀a:ℤ. GCD(a;1;1)
BY
{ (Unfold `gcd_p` 0 THEN Auto) }
Latex:
Latex:
\mforall{}a:\mBbbZ{}. GCD(a;1;1)
By
Latex:
(Unfold `gcd\_p` 0 THEN Auto)
Home
Index