[Merged by Bors] - feat(RingTheory/Localization/AtPrime): inertia degree and ramification index are preserved by localization #129565
Triggered via issue
December 13, 2025 23:06
mathlib4-dependent-issues-bot
Status
Success
Total duration
9s
Artifacts
–
bot_fix_style.yaml
on: issue_comment
Fix style issues from lint
6s