This is fundamentally the same question as Multiple assignment and evaluation order in Python with a superficial wrinkle because of the convoluted indexing.
The things to bear in mind here:
The docs state this (albeit sparely) here: https://docs.python.org/3/reference/expressions.html#evaluation-order
Python evaluates expressions from left to right. Notice that while evaluating an assignment, the right-hand side is evaluated before the left-hand side.
Here I illustrate these rules as applied to your situation:
State of a Evaluation of expression Comment
[-1, 4, 3, 1] a[1], a[a[1]-1] = a[a[1]-1], a[1] <start>
[-1, 4, 3, 1] a[1], a[a[1]-1] = a[4-1], a[1] a[1] resolves to 4
[-1, 4, 3, 1] a[1], a[a[1]-1] = a[3], a[1] 4-1 is 3
[-1, 4, 3, 1] a[1], a[a[1]-1] = 1, a[1] a[3] resolves to 1
[-1, 4, 3, 1] a[1], a[a[1]-1] = 1, 4 a[1] resolves to 4
[-1, 1, 3, 1] a[a[1]-1] = 4 a[1] = 1 assigned
[-1, 1, 3, 1] a[1-1] = 4 a[1] resolves to 1
[-1, 1, 3, 1] a[0] = 4 1-1 is 0
[4, 1, 3, 1] a[0] = 4 assigned