Li-Fan Chen
says to
YSITD
話說我之前好像有無意間看過一個跟等於有關的公理