isCyclotomicExtension_eq — Mathlib · SciLib

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

isCyclotomicExtension_eq

Mathlib.NumberTheory.Cyclotomic.Basic

URI: https://scilib.ai/kg/mathlib#IntermediateField.isCyclotomicExtension_eq

← MathLib Explorer