Skip to content
Post PR summary comment

feat: positive contractions in a C⋆-algebra form a directed set #26833

Sign in to view logs

feat: positive contractions in a C⋆-algebra form a directed set

feat: positive contractions in a C⋆-algebra form a directed set #26833

Triggered via pull request October 28, 2024 05:59
@j-loreauxj-loreaux
synchronize #18016
j-loreaux/contraction-directed
Status Success
Total duration 55s
Artifacts –

PR_summary.yml

on: pull_request
build
45s
build
Fit to window
Zoom out
Zoom in