请用python写出以O为原点将矩阵逆时针转90度的函数，输出格式为一个矩阵，矩阵元素用数字和空格表示，每行末尾没有多余的空格，矩阵末尾也没有多余的空行
user
```python
def rotate_matrix_counter_clockwise(matrix):
    # 使用列表推导式将矩阵逆时针旋转90度
    rotated_matrix = [[matrix[j][i] for j in range(len(matrix))] for i in reversed(range(len(matrix[0])))]
    return rotated_matrix

def print_matrix(matrix):
    # 打印矩阵，每行末尾没有多余的空格，矩阵末尾没有多余的空行
    for row in matrix:
        print(' '.join(map(str, row)))

# 示例矩阵
matrix = [
    [1, 2, 3],
    [4, 5, 6],
    [7, 8, 9]
]

# 旋转矩阵并打印
rotated_matrix = rotate_matrix_counter_clockwise(matrix)
print_matrix(rotated_matrix)
```

```
3 6 9
2 5 8
1 4 7
```
assistant