Metamath Proof Explorer - cplq

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cplq 3775

Description: Positive fraction addition.

**Assertion**
Ref	Expression
cplq	class +_Q

See definition df-plq 3833 for more information.

Colors of variables: wff set class