Metamath Proof Explorer


Syntax definition csplice

Description: Syntax for the word splicing operator.

Ref Expression
Assertion csplice
class splice