P
Initializing...
A polynomial type of `F` is a valid factor type of degree `deg F`. · Prove2Me