Skip to content

New notion of equivalence: Bijective relations #3034

New notion of equivalence: Bijective relations

New notion of equivalence: Bijective relations #3034

Triggered via pull request October 2, 2025 14:19
Status Failure
Total duration 2m 16s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-cubical
Process completed with exit code 1.