@property
    def is_lower(self):
        return all(self[i, j].is_zero
            for i in range(self.rows)
            for j in range(i + 1, self.cols))
The rotation matrix corresponding to this orienter
dataset/ETHPy150Open sympy/sympy/sympy/matrices/matrices.py/MatrixBase.is_lower--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/vector/orienters.py/AxisOrienter.rotation_matrix