Theorem CategoryTheory.ShortComplex.LeftHomologyData.map_f'

Modification history

2023-09-18 15:32
Mathlib/Algebra/Homology/ShortComplex/PreservesHomology.lean
feat: functors which preserve homology (#7197)
Added CategoryTheory.ShortComplex.LeftHomologyData.map_f'View on Github →