Theorem category_theory.kernel_ι_eq_zero_of_exact_zero_left
Modification history
2022-04-05 19:36
src/algebra/homology/exact.lean
refactor(algebra/homology, category_theory/*): declassify exactness (#13153) …
Modified category_theory.kernel_ι_eq_zero_of_exact_zero_leftView on Github →