mathlib

b6ed62ca - feat(algebraic_topology): simplicial objects and simplicial types (#6195)

feat(algebraic_topology): simplicial objects and simplicial types (#6195) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Yakov Pechersky <ffxen158@gmail.com> Co-authored-by: Floris van Doorn <fpvdoorn@gmail.com>