ProofWiki:Sandbox

Definition
The strictly positive real numbers are the subset of $\R$ that satisfies the following: