Li-Fan Chen says to YSITD
決定 a 印出 proofA 讀入proofB 判斷 a + 13 == b
at Sat, Jan 12, 2019 2:56 AM