Metamath Proof Explorer

Table of Contents - 20.43.10. Words over a set (extension)

1. Last symbol of a word - extension
   1. lswn0