Skip to content

Commit

Permalink
change "connecting linear map" to "connecting homomorphism"
Browse files Browse the repository at this point in the history
  • Loading branch information
@trivial1711
trivial1711 committed Jan 6, 2025
1 parent a548d8a commit 43e5542
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions Mathlib/Algebra/Module/SnakeLemma.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@ The snake lemma is proven in `Algebra/Homology/ShortComplex/SnakeLemma.lean` for
categories, but for definitional equality and universe issues we reprove them here for modules.
## Main results
- `SnakeLemma.δ`: The connecting linear map guaranteed by the snake lemma.
- `SnakeLemma.exact_δ_left`: The connecting linear map is exact on the right.
- `SnakeLemma.exact_δ_right`: The connecting linear map is exact on the left.
- `SnakeLemma.δ`: The connecting homomorphism guaranteed by the snake lemma.
- `SnakeLemma.exact_δ_left`: The connecting homomorphism is exact on the right.
- `SnakeLemma.exact_δ_right`: The connecting homomorphism is exact on the left.
-/

Expand Down

0 comments on commit 43e5542

Please sign in to comment.