fact: Definition zeros : B_pow_inf := Streams_as_Weakly_Final_Coalgebra.F_unfold (Streams_as_Weakly_Final_Coalgebra.Build_F_coalgebra unit (fun t=>(ZeroB,t))) tt.
imports: IntensionalLambdaBisimulation ZStreamCoalgebra ZArith