Definition 87.4.1. Let $A$ be a Noetherian ring and let $I \subset A$ be an ideal. Let $B$ be an object of (87.2.0.2). We say $B$ is rig-smooth over $(A, I)$ if there exists an integer $c \geq 0$ such that $I^ c$ annihilates $\mathop{\mathrm{Ext}}\nolimits ^1_ B(\mathop{N\! L}\nolimits _{B/A}^\wedge , N)$ for every $B$-module $N$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).