mem_roots_sub_C — Mathlib · SciLib

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

mem_roots_sub_C

Mathlib.Algebra.Polynomial.Roots

URI: https://scilib.ai/kg/mathlib#Polynomial.mem_roots_sub_C

← MathLib Explorer