Def CategoryTheory.abelianOfEquivalence

Modification history

2023-04-29 13:32
Mathlib/CategoryTheory/Abelian/Transfer.lean
feat: port CategoryTheory.Abelian.Transfer (#3424)
Added CategoryTheory.abelianOfEquivalenceView on Github →