Metamath Proof Explorer


Syntax definition cnq

Description: Set of positive fractions.

Ref Expression
Assertion cnq class 𝑸