Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.coeff_inj

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_inj View on Github →