SgtMook/sympy — comment on commit ca77efdd77b4c633bcec15104f6f2359b69556d9
File: sympy/logic/boolalg.py line 220
By SgtMook:

Hmm, you are right. I have been looking at logical implication the wrong way. The end result is the same though, and I made the docstring clearer.