Theorem CategoryTheory.ShrinkHoms.functor_map_add

Modification history

2025-02-22 09:21
Mathlib/CategoryTheory/Abelian/Transfer.lean
feat(CategoryTheory): `AsSmall C` is abelian (#22184)
Deleted CategoryTheory.ShrinkHoms.functor_map_addView on Github →
2024-12-16 16:45
Mathlib/CategoryTheory/Abelian/Transfer.lean
feat(CategoryTheory/Abelian/GrothendieckAxioms): introduce Grothendieck categories (#18510) …
Added CategoryTheory.ShrinkHoms.functor_map_addView on Github →