P
Initializing...
A monic divisor of a polynomial with a type has a type. · Prove2Me