[Merged by Bors] - feat(RingTheory/Localization/AtPrime): inertia degree and ramification index are preserved by localization #162880
Triggered via issue
December 13, 2025 23:06
mathlib4-dependent-issues-bot
Status
Success
Total duration
5s
Artifacts
–
maintainer_bors.yml
on: issue_comment
Add ready-to-merge or delegated label
3s