Metamath Proof Explorer

Syntax definition csad

Description: Define the sequence addition on bit sequences.

Ref Expression
Assertion csad 
class sadd