Metamath Proof Explorer


Syntax definition cmul

Description: Multiplication on complex numbers. The token x. is a center dot.

Ref Expression
Assertion cmul
class x.