Metamath Proof Explorer - cnq

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cnq 3773

Description: Set of positive fractions.

**Assertion**
Ref	Expression
cnq	class Q

See definition df-nq 3832 for more information.

Colors of variables: wff set class