Metamath Proof Explorer


Syntax definition csmu

Description: Define the sequence multiplication on bit sequences.

Ref Expression
Assertion csmu class smul