« Résultant/Définition et premières propriétés » : historique des versions

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure.
Coloration avec DeluxeHistory : rose = IP, bleu = utilisateur, jaune = administrateur, vert = bot.

2 février 2019

28 août 2018

27 août 2018

25 août 2018

24 août 2018

23 août 2018

22 août 2018