An $\varepsilon$-safe word can be extended by a $\prec_\varepsilon$-minimal letter arbitrarily far in both directions

Initializing...

An $\varepsilon$-safe word can be extended by a $\prec_\varepsilon$-minimal letter arbitrarily far in both directions · Prove2Me