sympy/sympy — pull request #1745 by Tarang1993 (2013-01-30 16:44:54+00:00)
Title: Tarang

Added functionality for double-implies in logic.