Invertible polynomials #
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.