Definition talk:Polynomial over Ring

Scratch previous comment, didn't occur to me to `switch definitions'.