mathlib
598722a2 - feat(algebraic_topology/simplicial_object): Add augment construction (#8085)

Commit

4 years ago

feat(algebraic_topology/simplicial_object): Add augment construction (#8085) Adds the augmentation construction for (co)simplicial objects. From LTE.

Author

adamtopaz

Parents