The integral monic polynomial maps to the fraction-field monic polynomial `monicPolynomial`.

Initializing...

The integral monic polynomial maps to the fraction-field monic polynomial `monicPolynomial`. · Prove2Me