C语言编程：下列程序定义了N×M的二维数组，并在主函数中自动赋值。请编写函数fun(int a[][N])，该函数的功能是：将数组左下半三角元素中的值全部置成0。

以下是fun函数的实现代码：

#define N 5
#define M 6

void fun(int a[][N]) {
    for(int i = 1; i < M; i++) {
        for(int j = 0; j < i && j < N; j++) {
            a[i][j] = 0;
        }
    }
}

在这个函数中，我们使用了两层循环来遍历整个数组。外层循环控制行数，从第二行开始（i=1），因为第一行没有左下半三角。内层循环控制列数，遍历到第i列的前一列就可以了，因为第i列及以后的列都是右上半三角。在循环中，我们将满足条件的元素（即左下半三角中的元素）的值全部置为0。

注意，在定义二维数组时，第二维的长度必须是常量，因此我们使用#define定义了N和M的值。