(* ITERATED TAIL FOR STREAMS ************************************************)
(* Constructions with stream_eq *********************************************)
lemma stream_tls_eq_repl (A) (n):
(* ITERATED TAIL FOR STREAMS ************************************************)
(* Constructions with stream_eq *********************************************)
lemma stream_tls_eq_repl (A) (n):