Metamath Proof Explorer


Syntax definition cerq

Description: Positive fraction equivalence class.

Ref Expression
Assertion cerq class / 𝑸