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

Estimated changes