happy-shott-simplicial-subcomplexes.expect.yaml

status: ok
regression_for:
  - shott-02-simplicial-type-theory-simplices-horns-shape-prod