Metamath Proof Explorer


Syntax definition cplq

Description: Positive fraction addition.

Ref Expression
Assertion cplq class + 𝑸