Def CategoryTheory.ShortComplex.SnakeInput.functorL₀

Modification history

2024-05-22 14:18

Mathlib/Algebra/Homology/ShortComplex/SnakeLemma.lean

chore(Algebra/Homology/ShortComplex/SnakeLemma): fix typo `Functor₉` -> `Functor₀` (#13114)

Added CategoryTheory.ShortComplex.SnakeInput.functorL₀ View on Github →