Theorem HomologicalComplex.stupidTruncMap_comp

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_comp View on Github →