Database
REAL AND COMPLEX NUMBERS
Words over a set
Prefixes of a word
cpfx
Next ⟩
df-pfx
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cpfx
Description:
Syntax for the prefix operator.
Ref
Expression
Assertion
cpfx
class
prefix