Metamath Proof Explorer

Syntax definition csubstr

Description: Syntax for the subword operator.

Ref Expression
Assertion csubstr 
class substr