How to convert with Fitch ~A v B to A -> B ?

Printable View