Theorem MvPolynomial.continuous_eval

Modification history

2024-01-06 11:11

Archive/Hairer.lean

chore: move a few results from `Archive.Hairer` into mathlib (#9315)

Modified MvPolynomial.continuous_eval View on Github →

2023-12-27 18:34

Archive/Hairer.lean

archive: smooth functions whose integral calculates the values of polynomials (#9138) …

Added MvPolynomial.continuous_eval View on Github →