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…
Merge pull request #1 from ProgVal/patch-1

Ordre des quantificateurs !