Documentation

Mathlib.Data.LazyList.Basic

Definitions on lazy lists #

This file contains various definitions and proofs on lazy lists.

TODO: This file will soon be deprecated.

Isomorphism between strict and lazy lists.

Equations
Instances For
    @[simp]
    theorem LazyList.bind_singleton {α : Type u_1} (x : LazyList α) :
    x.bind LazyList.singleton = x