Theorem Ideal.inertia_le_stabilizer

Modification history

2025-10-26 15:49
Mathlib/RingTheory/Ideal/Pointwise.lean
feat(NumberTheory): order of inertia group = ramification index (#30675)
Added Ideal.inertia_le_stabilizerView on Github →