Work by Jan-Hendrik Evertse (source code)

= Work by Jan-Hendrik Evertse