« Forme normale disjonctive » : historique des versions

Aller à la navigation Aller à la recherche

Sélection du diff : cochez les boutons radio des versions à comparer et appuyez sur entrée ou sur le bouton en bas.
Légende : (actu) = différence avec la dernière version, (diff) = différence avec la version précédente, m = modification mineure.

24 décembre 2023

  • actudiff 10:2324 décembre 2023 à 10:23 imported>Marc Schroeder m 2 668 octets +2 668 (i) Petit changement; (ii) meilleur alignement du texte à gauche