Theorem Ideal.ramificationIdx_algebra_tower

Modification history

2024-10-07 17:59

Mathlib/NumberTheory/RamificationInertia.lean

chore(RamificationInertia): remove superfluous DecidableEq (#17501) …

Modified Ideal.ramificationIdx_algebra_tower View on Github →

2024-10-04 14:05

Mathlib/NumberTheory/RamificationInertia.lean

feat(NumberTheory/RamificationInertia): ramification index and inertia degree in tower of algebras (#17160) …

Added Ideal.ramificationIdx_algebra_tower View on Github →