Skip to content
bot fix style

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

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 #195281

Triggered via pull request April 2, 2026 06:47
@loefflerdloefflerd
submitted #36416
Status Success
Total duration 9s
Artifacts –

bot_fix_style.yaml

on: pull_request_review
Fix style issues from lint
7s
Fix style issues from lint
Fit to window
Zoom out
Zoom in