∫ Утверждение Mathlib

isUnramified_iff_card_stabilizer_eq_one

Mathlib.NumberTheory.NumberField.InfinitePlace.Ramification

URI: https://scilib.ai/kg/mathlib#NumberField.InfinitePlace.isUnramified_iff_card_stabilizer_eq_one

← MathLib Explorer