Commit 2026-05-28 13:10 25586433
View on Github →feat(RingTheory/RamificationInertia/Ramification): relate ramificationIdx' to Algebra.IsUnramifiedAt (#39074)
This PR relates the new ramificationIdx' (which will eventually replace ramificationIdx) to Algebra.IsUnramifiedAt.