Theorem Lagrange.nodalWeight_eq_eval_derivative_nodal

Modification history