Def AlgebraicTopology.AlternatingCofaceMapComplex.map

Modification history

2023-04-19 14:33

Mathlib/AlgebraicTopology/AlternatingFaceMapComplex.lean

feat: port AlgebraicTopology.AlternatingFaceMapComplex (#3519)

Added AlgebraicTopology.AlternatingCofaceMapComplex.map View on Github →