Def CategoryTheory.Functor.mapHomotopyCategory

Modification history

2023-04-24 05:58

Mathlib/Algebra/Homology/HomotopyCategory.lean

feat: port Algebra.Homology.HomotopyCategory (#3602)

Added CategoryTheory.Functor.mapHomotopyCategory View on Github →