Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.foldl_combinator_K

Modification history

2022-11-13 06:01
src/data/list/basic.lean
feat(*): update to Lean 3.49 (#17470) …
Deleted list.foldl_combinator_KView on Github →
2022-03-11 08:22
src/data/list/basic.lean
feat(data/list/basic): Miscellaneous `fold` lemmas (#12579)
Added list.foldl_combinator_KView on Github →