Skip to content
Post PR summary comment

feat(Analysis/CStarAlgebra): norms of sums of orthogonal selfadjoint elements #140628

Sign in to view logs

feat(Analysis/CStarAlgebra): norms of sums of orthogonal selfadjoint elements

feat(Analysis/CStarAlgebra): norms of sums of orthogonal selfadjoint elements #140628

Triggered via pull request April 1, 2026 20:57
@j-loreauxj-loreaux
synchronize #36416
Status Success
Total duration 1m 2s
Artifacts –

PR_summary.yml

on: pull_request_target
post-or-update-summary-comment
57s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in