Theorem Lagrange.natDegree_nodal

Modification history

2023-09-07 00:04

Mathlib/LinearAlgebra/Lagrange.lean

feat(LinearAlgebra/Lagrange): Generalize typeclasses. (#6714) …

Added Lagrange.natDegree_nodal View on Github →