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

isRamified_iff_card_stabilizer_eq_two

Mathlib.NumberTheory.NumberField.InfinitePlace.Ramification

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

← MathLib Explorer