Strictly positive rational number
Set
definiendum | $ \mathbb Q_+^* \equiv \mathbb Q_+ \cap \mathbb Q_* $ |
Ramifications
Reference
ProofWiki: Strictly Positive
definiendum | $ \mathbb Q_+^* \equiv \mathbb Q_+ \cap \mathbb Q_* $ |
ProofWiki: Strictly Positive