Skip to content
Typecheck with latest Rzk

colimits are unique up to isomorphism #540

Sign in to view logs

colimits are unique up to isomorphism

colimits are unique up to isomorphism #540

Triggered via pull request October 22, 2023 14:43
@emilyriehlemilyriehl
synchronize #125
uniqueness-colimits
Status Success
Total duration 32s
Artifacts –

rzk.yml

on: pull_request
Check formalisations
24s
Check formalisations
Fit to window
Zoom out
Zoom in