Metamath Proof Explorer


Syntax definition crq

Description: Positive fraction reciprocal operation.

Ref Expression
Assertion crq class * 𝑸