Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.AbelianOfAdjunction.cokernelIso
Modification history
2024-08-01 16:02
Mathlib/CategoryTheory/Abelian/Transfer.lean
chore: backports for leanprover/lean4#4814 (part 9) (#15389) …
Modified
CategoryTheory.AbelianOfAdjunction.cokernelIso
View on Github →
2023-04-29 13:32
Mathlib/CategoryTheory/Abelian/Transfer.lean
feat: port CategoryTheory.Abelian.Transfer (#3424)
Added
CategoryTheory.AbelianOfAdjunction.cokernelIso
View on Github →