Làm cách nào để xoay ma trận 90 độ ngược chiều kim đồng hồ trong python?

Cho ma trận vuông, xoay ma trận 90 độ theo chiều kim đồng hồ. Việc chuyển đổi nên được thực hiện tại chỗ và trong thời gian bậc hai

Ví dụ,

Đầu vào.
 
1   2   3   4
5   6   7   8
9   10  11  12
13  14  15  16
 
Output:
 
13  9   5  1
14  10  6  2
15  11  7  3