Theorem HomologicalComplex.ext_of_iso

Modification history

2026-08-11 15:45
Mathlib/Algebra/Homology/HomologicalComplex.lean
feat(AlgebraicTopology/SimplicialSet/Homology): extension of scalars (#38965) …
Added HomologicalComplex.ext_of_isoView on Github →