Theorem Polynomial.map_contract

Modification history

2024-02-15 16:16
Mathlib/Data/Polynomial/Expand.lean
feat: add some simple results regarding polynomials (#10572) …
Added Polynomial.map_contractView on Github →