Commit 2021-12-03 08:57 c176aa5d

refactor(data/stream): swap args of stream.nth (#10559) This way it agrees with (a) list.nth; (b) a possible redefinition

structure stream (α : Type*) := (nth : nat → α)

modified def stream.all

modified def stream.any

modified def stream.nth

modified theorem stream.all_def

modified theorem stream.any_def

modified theorem stream.nth_const

modified theorem stream.nth_drop

modified theorem stream.nth_even

modified theorem stream.nth_inits

modified theorem stream.nth_map

modified theorem stream.nth_nats

modified theorem stream.nth_odd

modified theorem stream.nth_succ

modified theorem stream.nth_tails