Theorem CategoryTheory.AB4.of_AB5

Modification history

2024-12-06 15:26

Mathlib/CategoryTheory/Abelian/GrothendieckAxioms.lean

feat(CategoryTheory): expand the API for AB axioms (#19200) …

Modified CategoryTheory.AB4.of_AB5 View on Github →

2024-11-19 08:25

Mathlib/CategoryTheory/Abelian/GrothendieckAxioms.lean

refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …

Added CategoryTheory.AB4.of_AB5 View on Github →