Well specified version of division
Build a well-specified version of
bdiv_aux
Solution
Follow this link
Yves Bertot
Last modified: Sun May 3 13:52:26 CEST 2015