Commit 2021-12-23 22:35 421b9bbe
View on Github →feat(algebraic_topology): alternating face map complex of a simplicial object (#10927) added the alternating face map complex of a simplicial object in a preadditive category and the natural inclusion of the normalized_Moore_complex