Commit 2023-11-13 10:29 b0be9aaf
View on Github →feat(CategoryTheory): more properties of exact sequences (#8159) The basic API of exact sequences in developed in this PR. As a result, the snake lemma can be formulated as a 6-term exact sequence.
feat(CategoryTheory): more properties of exact sequences (#8159) The basic API of exact sequences in developed in this PR. As a result, the snake lemma can be formulated as a 6-term exact sequence.