Theorem HomotopyCategory.quasiIso_eq_trW_subcategoryAcyclic

Modification history

2026-05-06 11:35
Mathlib/Algebra/Homology/HomotopyCategory/Acyclic.lean
chore(Algebra/Homology): fix name (#38995) …
Added HomotopyCategory.quasiIso_eq_trW_subcategoryAcyclicView on Github →