Li-Fan Chen says to YSITD
p v q -> p 成立ㄇ
at Fri, Mar 20, 2020 2:14 AM