3 ms·exactly, (X => Y) <=> (!Y => !X) should be more knownby 11235813213455 2y agoexactly, (X => Y) <=> (!Y => !X) should be more known