showgan@tg => YSITD: x > y = (x - y) > 0 (? #5a911a9b22144b28ef4e4443

showgan@tg says to YSITD

x > y = (x - y) > 0 (?

at Sat, Feb 24, 2018 3:56 PM