mathlib3

2280e13c - Eliminate `finish` from `succ_nth_stream_eq_some_iff`