Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.C_injective

Modification history

2022-11-21 11:25
src/data/polynomial/basic.lean
chore(data/polynomial/basic): golf (#17656) …
Added polynomial.C_injectiveView on Github →