Li-Fan Chen says to YSITD
P -> Q 不代表 Q -> P
at Sun, Dec 18, 2016 11:23 PM