Metamath Proof Explorer


Syntax definition csad

Description: Define the sequence addition on bit sequences.

Ref Expression
Assertion csad class sadd