Little Bezout theorem (factor theorem (0)

by Piotr Rudnicki
Venue:Formalized Mathematics