Def HomologicalComplex.single

Modification history

2023-11-10 20:41

Mathlib/Algebra/Homology/Single.lean

refactor(Algebra/Homology): remove single₀ (#8208) …

Deleted HomologicalComplex.single View on Github →

2023-04-18 11:12

Mathlib/Algebra/Homology/Single.lean

feat: port Algebra.Homology.Single (#3495)

Added HomologicalComplex.single View on Github →