Def HomotopyCategory.quotient

Modification history

2023-04-24 05:58

Mathlib/Algebra/Homology/HomotopyCategory.lean

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

Added HomotopyCategory.quotient View on Github →