Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.foldl_hom

Modification history

2019-12-27 14:05

src/data/list/basic.lean

refactor(*): unify API of `list/multiset/finset.prod_hom` (#1820) …

Modified list.foldl_hom View on Github →

2017-07-24 00:42

data/list/basic.lean

refactor(*): move in some nat lemmas …

Added list.foldl_hom View on Github →