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