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

coe_evalRingHom

Mathlib.Algebra.Polynomial.Eval.Defs

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

← MathLib Explorer