P
Initializing...
For monic `Φ`, `O[X]/(Φ)` is a free `O`-module of finite rank `deg Φ`. · Prove2Me