∫ Утверждение Mathlib
eval_one_cyclotomic_prime
Mathlib.RingTheory.Polynomial.Cyclotomic.Eval
URI: https://scilib.ai/kg/mathlib#Polynomial.eval_one_cyclotomic_prime
∫ Утверждение Mathlib
Mathlib.RingTheory.Polynomial.Cyclotomic.Eval
URI: https://scilib.ai/kg/mathlib#Polynomial.eval_one_cyclotomic_prime