typo
Merge remote-tracking branch 'la-vache/master' into typo
for all universal quantifiers
Merge pull request #246 from eggrobin/typo

Typo