Database
REAL AND COMPLEX NUMBERS
Words over a set
Subwords/substrings
csubstr

Next ⟩ df-substr

Metamath Proof Explorer

Ascii
Structured

Syntax definition csubstr

Description: Syntax for the subword operator.

		Ref	Expression
	Assertion	csubstr	class substr