Skip to content

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade toPiLocalization to an AlgEquiv #20291

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade toPiLocalization to an AlgEquiv

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade toPiLocalization to an AlgEquiv #20291

Triggered via pull request April 14, 2026 16:32
@tb65536tb65536
edited #38031
Status Skipped
Total duration 1s
Artifacts

check_pr_titles.yaml

on: pull_request_target
check_title
0s
check_title
Fit to window
Zoom out
Zoom in