Metamath Proof Explorer - cmi

Metamath Proof Explorer

< Previous Next >
Related theorems
Unicode version

Syntax Definition cmi 3768

Description: Positive integer multiplication.

**Assertion**
Ref	Expression
cmi

See definition df-mi 3796 for more information.

Colors of variables: wff set class