Commit 2024-11-17 11:30 69311c4f
View on Github →chore(NumberTheory/RamificationInertia): change the variables in inertiaDeg_algebra_tower to explicit variables (#19138)
Change the variables in Ideal.inertiaDeg_algebra_tower to explicit variables, since no variables can be inferred.