Lean4 Itertools

A Lean 4 library for iterators.