Theorem Lagrange.nodal_ne_zero

Modification history

2023-09-07 00:04
Mathlib/LinearAlgebra/Lagrange.lean
feat(LinearAlgebra/Lagrange): Generalize typeclasses. (#6714) …
Added Lagrange.nodal_ne_zeroView on Github →