mathlib
005763ec - feat(linear_algebra/lagrange): Lagrange interpolation (#2764)

Commit

6 years ago

feat(linear_algebra/lagrange): Lagrange interpolation (#2764) Fixes #2600.

Author

kckennylau

kckennylau

Parents

Loading