Commit 2026-05-28 15:08 c07d8321
View on Github →feat(RingTheory/RamificationInertia/Ramification): ramification index is invariant under a group action (#39678)
This PR proves that ramification index is invariant under a group action. We already have this for the old definition ramificationIdx, but we will need this new version for ramificationIdx' for the upcoming refactor.