IsUnramified — Mathlib · SciLib

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

IsUnramified

Mathlib.NumberTheory.NumberField.InfinitePlace.Ramification

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

← MathLib Explorer