Commit 2026-05-06 11:35 dd801889

View on Github →

chore(Algebra/Homology): fix name (#38995) HomotopyCategory.quasiIso_eq_subcategoryAcyclic_W is renamed quasiIso_eq_trW_subcategoryAcyclic, and one instance is added.

Estimated changes