The lexicographic ordering extends the Magnus-type orderings of the factors (Proposition 6)

Initializing...

The lexicographic ordering extends the Magnus-type orderings of the factors (Proposition 6) · Prove2Me