Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-01 19:34 5945ca39

View on Github →

chore(*): update to lean 3.31.0c (#8122)

Estimated changes

Modified leanpkg.toml

Modified src/combinatorics/composition.lean

Created src/data/lazy_list.lean

added def lazy_list.append

added def lazy_list.approx

added def lazy_list.filter

added def lazy_list.for

added def lazy_list.head

added def lazy_list.join

added def lazy_list.map

added def lazy_list.map₂

added def lazy_list.nth

added def lazy_list.of_list

added def lazy_list.singleton

added def lazy_list.tail

added def lazy_list.to_list

added def lazy_list.zip

added inductive lazy_list

Modified src/data/lazy_list/basic.lean