From b98ea1cd37559526ff377b60807bc5a2714ce4fd Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Tue, 21 Jan 2025 18:11:04 +0100 Subject: Typo. --- transp-inf110-02-typage.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'transp-inf110-02-typage.tex') 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 -- cgit v1.2.3