Leibniz formula (determinant)