Theorem EuclideanDomain.xgcdAux_rec

Modification history