Typecheck with latest Rzk

Equivalences of maps induce equivalences of fibers #535

Sign in to view logs

Triggered via pull request October 22, 2023 14:33

emilyriehl

synchronize #128

aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps

Status Success

Total duration 36s

Artifacts –

rzk.yml

on: pull_request

Check formalisations