Skip to content
Add "ready-to-merge" and "delegated" label

[Merged by Bors] - feat(RingTheory/Localization/AtPrime): inertia degree and ramification index are preserved by localization #162880

Sign in to view logs

[Merged by Bors] - feat(RingTheory/Localization/AtPrime): inertia degree and ramification index are preserved by localization

[Merged by Bors] - feat(RingTheory/Localization/AtPrime): inertia degree and ramification index are preserved by localization #162880

The logs for this run have expired and are no longer available.