Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-11 00:09 6858c2f7

View on Github →

fix(category/fold): use correct opposite (#1008)

Estimated changes

Modified src/category/fold.lean

modified def monoid.foldr

modified def monoid.mfoldr

Modified src/category_theory/opposites.lean

deleted theorem category_theory.opposite.op_mul

deleted theorem category_theory.opposite.op_one

deleted theorem category_theory.opposite.unop_mul

deleted theorem category_theory.opposite.unop_one