Library Stdlib.Reals.Rbase

From Stdlib Require Export Rdefinitions.
From Stdlib Require Export Raxioms.
From Stdlib Require Export RIneq.
From Stdlib Require Export DiscrR.