@[implicit_reducible]

instance Std.instStreamIterOfProductiveOfIteratorAccessId {α β : Type u_1} [Iterator α Id β] [Iterators.Productive α Id] [IteratorAccess α Id] : Stream (Iter β) β

Equations

• One or more equations did not get rendered due to their size.