mathlib

3767c640 - Eliminate `finish` from `succ_nth_stream_eq_none_iff`