Metamath Proof Explorer


Syntax definition cmuls

Description: Set up the syntax for surreal multiplication.

Ref Expression
Assertion cmuls
class x.s