------------------------------------
 The ring and field tactic families
------------------------------------

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