 Base change for Kähler differentials

The Kähler differentials commute with extension of the base ring. A derivation of the base-changed algebra that kills $k^{\prime }$ is determined by its restriction to $A\otimes 1$, and the Leibniz rule provides its unique extension. No flatness hypothesis is required for this isomorphism.