fact: Definition fib_eucl gamma `{Hgamma: Strategy gamma} n := let c := make_chain gamma n in let r := chain_apply c (M:=Mul2) (1,0) in fst r + snd r.
imports: Coq(NArith Ring) additions(Monoid_instances Euclidean_Chains Pow Strategies Dichotomy BinaryStrat)