Library Coq.Reals.Rregisternames


Require Import Raxioms Rfunctions Qreals.

Register names for use in plugins