Edge-disjoint double rays in infinite graphs: A Halin type result

We show that any graph that contains k   edge-disjoint double rays for any k∈Nk∈N contains also infinitely many edge-disjoint double rays. This was conjectured by Andreae in 1981.