Theorem HomologicalComplex.isZero_single_comp_eval

Modification history

2024-06-25 06:18
Mathlib/Algebra/Homology/Single.lean
feat(Algebra/Homology) the single complex functor preserves (co)limits (#13875) …
Added HomologicalComplex.isZero_single_comp_evalView on Github →