Theorem Polynomial.coe_aeval_mk_apply

Modification history

2024-02-07 15:18
Mathlib/Data/Polynomial/AlgebraMap.lean
feat: add proof of Jordan-Chevalley-Dunford decomposition (#10295)
Added Polynomial.coe_aeval_mk_applyView on Github →