--------------------------------------------------------------------
 Micromega: tactics for solving arithmetic goals over ordered rings
--------------------------------------------------------------------

:Source: https://coq.inria.fr/distrib/current/refman/micromega.html
:Converted by: Maxime Dénès