Based on the official Python documentation and common implementation details, the expression L[a:b] = L[c:d] does indeed create a new, temporary list for the right-hand side L[c:d] before the assignment to the left-hand side L[a:b].

https://docs.python.org/3/reference/simple_stmts.html#assignment-statements