Conseil pour le TP4

[damdamo]

Salut,

je viens de regarder le code de ceux qui ont pu commencer. Je vous donne un conseil pour éviter une étape inutile de la substitution qui est géré par la librairie:

• Si vous avez deux théorèmes avec un nom de variable différent (x + 0 = x et y = y + 0)
  Vous pouvez directement faire une transitivé sans besoin de faire une substitution avant sur le nom de la variable.