Metamath Proof Explorer
Table of Contents - 5.7.3. Concatenations of words
- cconcat
- df-concat
- ccatfn
- ccatfval
- ccatcl
- ccatlen
- ccatlenOLD
- ccat0
- ccatval1
- ccatval1OLD
- ccatval2
- ccatval3
- elfzelfzccat
- ccatvalfn
- ccatsymb
- ccatfv0
- ccatval1lsw
- ccatval21sw
- ccatlid
- ccatrid
- ccatass
- ccatrn
- ccatidid
- lswccatn0lsw
- lswccat0lsw
- ccatalpha
- ccatrcl1