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.

Estimated changes