Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-29 08:26 8abfb3ba

View on Github →

feat(representation_theory/Rep): Rep k G is abelian (#13689)

Estimated changes

Modified src/category_theory/abelian/functor_category.lean

Modified src/category_theory/abelian/transfer.lean

added def category_theory.abelian_of_equivalence

Modified src/category_theory/limits/shapes/functor_category.lean

Modified src/representation_theory/Action.lean

added def Action.abelian_aux

Modified src/representation_theory/Rep.lean