Skip to content

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

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

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

Annotations

1 warning

Lint and suggest

succeeded Apr 14, 2026 in 2m 26s