Theorem HomologicalComplex.pOpcycles_singleObjOpcyclesSelfIso_inv

Modification history

2025-04-28 06:56
Mathlib/Algebra/Homology/SingleHomology.lean
feat(CategoryTheory/Abelian): Ext when there are enough injectives (#23797) …
Added HomologicalComplex.pOpcycles_singleObjOpcyclesSelfIso_invView on Github →