Theorem CategoryTheory.ShortComplex.Exact.mono_cokernelDesc

Modification history

2025-12-06 17:24
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat(Algebra/Homology): miscellaneous lemmas (#32434) …
Added CategoryTheory.ShortComplex.Exact.mono_cokernelDescView on Github →