Skip to content
bot fix style

[Merged by Bors] - feat: the set of Fredholm operators between two Banach spaces is open #274089

Sign in to view logs

[Merged by Bors] - feat: the set of Fredholm operators between two Banach spaces is open

[Merged by Bors] - feat: the set of Fredholm operators between two Banach spaces is open #274089

Triggered via pull request August 27, 2026 08:32
@ocfnashocfnash
created #42742
Status Success
Total duration 9s
Artifacts –

bot_fix_style.yaml

on: pull_request_review_comment
Fix style issues from lint
4s
Fix style issues from lint
Fit to window
Zoom out
Zoom in