Badge

 Editor First edit.

Mark13426 earned this badge

feb 20 '12 at 7:15
Derive: $(B\to A)\to(\neg A\to\neg B)$

Others with this badge