Metamath Proof Explorer


Syntax definition cnmul

Description: Declare the syntax for natural multiplication.

Ref Expression
Assertion cnmul Could not format assertion : No typesetting found for class .no with typecode class