mathlib3

563aed34 - feat(algebraic_topology/simplex_category): strong epi mono factorisations (#16276)

feat(algebraic_topology/simplex_category): strong epi mono factorisations (#16276) In this PR, it is shown that there exists (unique) strong epi mono factorisations in `simplex_category`.