Theorem CategoryTheory.ShortComplex.RightHomologyData.map_g'

Modification history

2023-10-11 07:51
Mathlib/Algebra/Homology/ShortComplex/PreservesHomology.lean
feat: functors which preserves right homology (#7256)
Added CategoryTheory.ShortComplex.RightHomologyData.map_g'View on Github →