Theorem Polynomial.ofReal_eval

Modification history

2023-05-20 13:50
Mathlib/Data/IsROrC/Lemmas.lean
feat: port Data.IsROrC.Lemmas (#4141)
Added Polynomial.ofReal_evalView on Github →