∫ Утверждение Mathlib
_aux_Mathlib_NumberTheory_Cyclotomic_Three___macroRules__private_Mathlib_NumberTheory_Cyclotomic_Three_0_IsCyclotomicExtension_Rat_Three_termη_1
Mathlib.NumberTheory.Cyclotomic.Three
URI: https://scilib.ai/kg/mathlib#IsCyclotomicExtension.Rat.Three._aux_Mathlib_NumberTheory_Cyclotomic_Three___macroRules__private_Mathlib_NumberTheory_Cyclotomic_Three_0_IsCyclotomicExtension_Rat_Three_termη_1