Theorem CategoryTheory.ShortComplex.map_leftRightHomologyComparison'

Modification history

2025-05-19 05:18
Mathlib/Algebra/Homology/ShortComplex/PreservesHomology.lean
feat: `TopModuleCat` is a `CategoryWithHomology` (#24976) …
Added CategoryTheory.ShortComplex.map_leftRightHomologyComparison'View on Github →