Def HomotopyCategory.homotopyOfEq

Modification history

2023-04-24 05:58

Mathlib/Algebra/Homology/HomotopyCategory.lean

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

Added HomotopyCategory.homotopyOfEq View on Github →