Li-Fan Chen says to YSITD
commutative 是 ab=ba 吧
at Sat, May 9, 2020 10:43 PM