Appending a decreasing block below an $\varepsilon$-safe word · Prove2Me

P

Initializing...

Appending a decreasing block below an $\varepsilon$-safe word · Prove2Me