Template:Determinant Leibniz formula