mathlib

22f02c16 - feat(data/{seq,stream}): enum and some helper API (#15790)

feat(data/{seq,stream}): enum and some helper API (#15790) Co-authored-by: Violeta Hernández <vi.hdz.p@gmail.com> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>