-----------------------------------------------------------
 Nsatz: tactics for proving equalities in integral domains
-----------------------------------------------------------

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