Metamath Proof Explorer


Syntax definition cmr

Description: Signed real multiplication.

Ref Expression
Assertion cmr
class .R