Theorem Polynomial.eq_of_degree_le_of_eval_index_eq

Modification history

2023-08-21 01:30
Mathlib/LinearAlgebra/Lagrange.lean
feat: add theorem about nodal on Subgroup (#6495) …
Added Polynomial.eq_of_degree_le_of_eval_index_eqView on Github →