Theorem HomologicalComplex.stupidTruncMap_id

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_idView on Github →