Fix Poly.v so that it compiles
Poly.v