Flattening lemma for pushouts 2: descent data boogaloo #4144
VojtechStep
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
50s
link-check
27s