Invertible polynomials #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
This file is a stub containing some basic facts about
invertible elements in the ring of polynomials.
A natural number that is invertible when coerced to a commutative semiring
is also invertible when coerced to any polynomial ring with rational coefficients.
Short-cut for typeclass resolution.