∫ Утверждение Mathlib
nodalWeight_eq_eval_derivative_nodal
Mathlib.LinearAlgebra.Lagrange
URI: https://scilib.ai/kg/mathlib#Lagrange.nodalWeight_eq_eval_derivative_nodal
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Lagrange
URI: https://scilib.ai/kg/mathlib#Lagrange.nodalWeight_eq_eval_derivative_nodal