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

Equations

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