Skip to content
bot fix style

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

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

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