Li-Fan Chen says to YSITD
他是一個 notation trick
at Wed, May 13, 2020 11:08 PM