eduroam-prg-sg-1-47-33.net.univ-paris-diderot.fr 2026-2-5:10:15:11

2026-02-05 10:15:12 +01:00
parent a18c64a26c
commit 1d77375878
1 changed files with 1 additions and 1 deletions
--- a/primitive.md
+++ b/primitive.md
@@ -28,7 +28,7 @@ aliases:
 > 
 > L'ensemble des **fonctions récursives primitives** est alors le plus petit des sous ensembles $E$ de $\mathscr{F}$ tel que :
 >  - $E$ contient toutes les fonctions constantes de $\mathscr{F}$
->  - 
+>  - $E$ contient toutes les projections $P_{p}^{i}$ 
 > 
 ^definition