Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.abelian_of_equivalence

Modification history

2022-04-29 08:26
src/category_theory/abelian/transfer.lean
feat(representation_theory/Rep): Rep k G is abelian (#13689)
Added category_theory.abelian_of_equivalenceView on Github →