Theorem HomologicalComplex.stupidTruncMap_stupidTruncXIso_hom

Modification history

2024-12-20 17:17
Mathlib/Algebra/Homology/Embedding/StupidTrunc.lean
feat(Algebra/Homology): the stupid truncation of homological complexes (#18501)
Added HomologicalComplex.stupidTruncMap_stupidTruncXIso_homView on Github →