Commit 2024-10-04 14:05 8033cba2

feat(NumberTheory/RamificationInertia): ramification index and inertia degree in tower of algebras (#17160) Let T / S / R be a tower of algebras, p, P, Q be ideals in R, S, T, respectively, we show that e (Q | p) = e (P | p) * e (Q | P) and f (Q | p) = f (P | p) * f (Q | P).