MLList vs IterM

Stream: mathlib4

[Jakub Nowak]

What's the difference between MLList and Std.Iterators.IterM? Should we deprecate MLList in favor of IterM?

[Jovan Gerbscheid]

I haven't used IterM yet, but deprecating MLList, if all uses of it can be replaced by IterM, seems reasonable to me.

[Kim Morrison]

Yes, no one should be using MLList anymore.

[Kim Morrison]

Deprecation / replacement PRs very welcome.