.NTI0Nw.MjY3MjM3 : Historique des versions

Aller à : navigation, rechercher

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure

  • (actu | diff) 15 mars 2021 à 12:19MargauxMines (discuter | contributions). . (264 octets) (+264). . (Page créée avec « - 23 - Si <p sous-potente vérifie p Gf, on a a fortiori A A V çp ^ Gr f et (j) D ff. a a y v a v Donc cp = cp cp z> (ff)(ff) = fff, qui est idempotente puisque fff = ff... »)