s-i-newton/PreuveDM3 — pull request #1 by ProgVal (2014-10-28 08:53:30+00:00)
Title: Ordre des quantificateurs !

Tu définis un élément p, puis une fonction epsilon, et ensuite tu énonces une propriété sur epsilon(p) ?
bof bof…