Remark 50.15.8. Let $S$ be a locally Noetherian scheme. Let $X$ be locally of finite type over $S$. Let $Y \subset X$ be an effective Cartier divisor. If the map
has a section for all $y \in Y$, then the de Rham complex of log poles is defined for $Y \subset X$ over $S$. If we ever need this result we will formulate a precise statement and add a proof here.