Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.coeff_injective

Modification history

2022-08-29 08:18
src/data/polynomial/basic.lean
feat(counterexamples/map_floor): `floor`/`ceil` are not preserved under order ring homs (#16198) …
Added polynomial.coeff_injectiveView on Github →