Def CategoryTheory.Functor.mapHomologicalComplexIdIso

Modification history

2023-04-19 13:55

Mathlib/Algebra/Homology/Additive.lean

feat: port Algebra.Homology.Additive (#3517)

Added CategoryTheory.Functor.mapHomologicalComplexIdIso View on Github →