Def HomotopyCategory.homotopyEquivOfIso

Modification history

2023-04-24 05:58

Mathlib/Algebra/Homology/HomotopyCategory.lean

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

Added HomotopyCategory.homotopyEquivOfIso View on Github →