Lemma 88.8.3. Let $A$ be a Noetherian ring and let $I$ be an ideal. Let $B$ be an object of (88.2.0.2). If $B$ is rig-étale over $(A, I)$, then $B$ is rig-smooth over $(A, I)$.
Lemma 88.8.3. Let $A$ be a Noetherian ring and let $I$ be an ideal. Let $B$ be an object of (88.2.0.2). If $B$ is rig-étale over $(A, I)$, then $B$ is rig-smooth over $(A, I)$.
Proof. Immediate from Definitions 88.4.1 and 88.8.1. $\square$
Comments (0)