Def CategoryTheory.ShortComplex.RightHomologyMapData.id

Modification history

2023-07-20 08:16

Mathlib/Algebra/Homology/ShortComplex/RightHomology.lean

feat: left and right homology data are dual notions (#5674) …

Added CategoryTheory.ShortComplex.RightHomologyMapData.id View on Github →