Historique de révision de « natural number is even » (Z13555)
Sélection du diff : cochez les boutons radio des versions à comparer et appuyez sur entrée ou sur le bouton en bas.
Légende : (lɛɛ) = différence avec la dernière version, (pɩɖɛwa) = différence avec la version précédente, ñc = modification mineure.