diff options
| author | David A. Madore <david+git@madore.org> | 2025-01-21 18:11:04 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2025-01-21 18:11:04 +0100 |
| commit | b98ea1cd37559526ff377b60807bc5a2714ce4fd (patch) | |
| tree | 4c61d598286836d5cdff15c43fb326c55d1f7084 /transp-inf110-02-typage.tex | |
| parent | cd521ecc61adceeda61ac67f589be3c0c3964b8c (diff) | |
| download | inf110-lfi-b98ea1cd37559526ff377b60807bc5a2714ce4fd.tar.gz inf110-lfi-b98ea1cd37559526ff377b60807bc5a2714ce4fd.tar.bz2 inf110-lfi-b98ea1cd37559526ff377b60807bc5a2714ce4fd.zip | |
Typo.
Diffstat (limited to 'transp-inf110-02-typage.tex')
| -rw-r--r-- | transp-inf110-02-typage.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 9629e1e..4cc3b11 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -4442,7 +4442,7 @@ $\mathcal{P}(\mathbb{N})$ des parties de $\mathbb{N}$ : \medskip \itempoint Si $\varphi(A_1,\ldots,A_r)$ est une formule -propositionnelle et $P_1,\ldots,P_r \in \mathbb{N}$, on définit +propositionnelle et $P_1,\ldots,P_r \subseteq \mathbb{N}$, on définit $\dot\varphi(P_1,\ldots,P_r)$ de façon évidente (par induction). \smallskip |