Step
*
1
1
of Lemma
fib_coprime
CoPrime(1,1)
BY
{ (Unfold `coprime` 0 THEN BLemma `gcd_p_one` THEN Auto) }
Latex:
Latex:
CoPrime(1,1)
By
Latex:
(Unfold `coprime` 0 THEN BLemma `gcd\_p\_one` THEN Auto)
Home
Index