Metamath Proof Explorer


Syntax definition cmr

Description: Signed real multiplication.

Ref Expression
Assertion cmr class 𝑹