Maintainer merge

[Merged by Bors] - feat(NumberTheory/RamificationInertia): `ramificationIdx` and `inertiaDeg` in Galois extensions #37550

Sign in to view logs

Triggered via issue February 13, 2025 06:22

mathlib-bors[bot]

commented on #20899 e2c6f0e

Status Success

Total duration 10s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip