Def HomotopyCategory.subcategoryAcyclic
Modification history
2025-07-23 11:06
Mathlib/Algebra/Homology/DerivedCategory/Basic.lean
refactor(CategoryTheory): redefine triangulated subcategories using ObjectProperty (#25931)
Added HomotopyCategory.subcategoryAcyclicView on Github →