mathlib

c176aa5d - refactor(data/stream): swap args of `stream.nth` (#10559)

refactor(data/stream): swap args of `stream.nth` (#10559) This way it agrees with (a) `list.nth`; (b) a possible redefinition ```lean structure stream (α : Type*) := (nth : nat → α) ```