Theorem CategoryTheory.AB4.of_AB5

Modification history

2024-11-19 08:25
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms.lean
refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …
Added CategoryTheory.AB4.of_AB5View on Github →