Well specified version of division

Build a well-specified version of bdiv_aux

Solution

Follow this link


Going home
Yves Bertot
Last modified: Tue May 13 22:29:02 MEST 2003