Mathlib v3 is deprecated. Go to Mathlib v4

Def monoid.foldl.get

Modification history

2019-06-29 13:28

src/category/fold.lean

refactor(category_theory/category): reorder arguments of `End.has_mul` (#1128) …

Added monoid.foldl.get View on Github →