## Little Bezout theorem (factor theorem) (2004)

by
Piotr Rudnicki

Venue: | FORMALIZED MATHEMATICS |

Citations: | 13 - 3 self |