Time-ordered

Redirect to:

  • Path-ordering#Time ordering