Li-Fan Chen says to YSITD
x ∈ A 是一個命題
at Fri, Sep 11, 2020 12:32 AM