Skip to content

feat: positive contractions in a C⋆-algebra form a directed set (#18016) #11508

feat: positive contractions in a C⋆-algebra form a directed set (#18016)

feat: positive contractions in a C⋆-algebra form a directed set (#18016) #11508

Triggered via push October 30, 2024 16:54
Status Success
Total duration 9m 32s
Artifacts

bors.yml

on: push
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in