Metamath Proof Explorer


Syntax definition cmuls

Description: Set up the syntax for surreal multiplication.

Ref Expression
Assertion cmuls Could not format assertion : No typesetting found for class x.s with typecode class