Def AlgebraicTopology.alternatingFaceMapComplexCompMapHomologicalComplexIso

Modification history

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