[Merged by Bors] - feat(RingTheory/Localization/AtPrime): inertia degree and ramification index are preserved by localization #178255
Triggered via issue
December 13, 2025 23:06
mathlib4-dependent-issues-bot
Status
Success
Total duration
7s
Artifacts
–
maintainer_merge.yml
on: issue_comment
Ping maintainers on Zulip
4s