Commit 2023-11-28 14:52 b4ed5810
View on Github →feat(CategoryTheory): naturality of the connecting homomorphism of the snake lemma (#8490) In this PR, it is shown that the connecting homomorphism of the snake lemma is natural.
feat(CategoryTheory): naturality of the connecting homomorphism of the snake lemma (#8490) In this PR, it is shown that the connecting homomorphism of the snake lemma is natural.