Mentions légales du service
Only works with hypothesis of the form forall x. A -> B. Also cleaning the code a little.