Little Bezout theorem (factor theorem) (2004)

by Piotr Rudnicki
Venue:FORMALIZED MATHEMATICS
Citations:12 - 3 self