fact: Definition lambda_fibonacci (X:Set) (sbx:T_ (B_ X)) : B_ (T_ X) := let (b0, t0) := sbx in let (t1, t2) := t0 in let (b1, x1) := t1 in let (b2, x2) := t2 in (b0+b2, (b1, (x1, x2))).
imports: IntensionalLambdaBisimulation ZStreamCoalgebra ZArith