¿Dónde puedo encontrar este resultado?

Question

Un esquema noetheriano $X$ sobre un campo algebraicamente cerrado $k$ el conjunto de derivaciones $\mathcal{O}_{X,x} \to \kappa(x)=k$ es isomorfo al espacio tangente de Zariski $(\mathfrak{m}/\mathfrak{m}^2)^*$ donde $\mathfrak{m}$ es el ideal máximo de $\mathcal{O}_{X,x}$ .

Answer 1

Una posible referencia es

A. Borel, Grupos algebraicos lineales AG.15.4, p.34.