Def Lagrange.nodal

Modification history

2023-09-07 00:04

Mathlib/LinearAlgebra/Lagrange.lean

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

Modified Lagrange.nodal View on Github →

2023-05-06 07:17

Mathlib/LinearAlgebra/Lagrange.lean

feat: port LinearAlgebra.Lagrange (#3784)

Added Lagrange.nodal View on Github →