Metamath Proof Explorer

Table of Contents - 5.7.2. Last symbol of a word

1. clsw
2. df-lsw
3. lsw
4. lsw0
5. lsw0g
6. lsw1
7. lswcl
8. lswlgt0cl