Def AlgebraicTopology.AlternatingFaceMapComplex.map

Modification history

2023-04-19 14:33

Mathlib/AlgebraicTopology/AlternatingFaceMapComplex.lean

feat: port AlgebraicTopology.AlternatingFaceMapComplex (#3519)

Added AlgebraicTopology.AlternatingFaceMapComplex.map View on Github →