Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Words over a set (extension)
Last symbol of a word - extension
Next ⟩
lswn0
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 21.51.10.1. Last symbol of a word - extension
lswn0