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.

Estimated changes