Li-Fan Chen says to YSITD
這叫構造性證明
at Thu, Aug 27, 2020 1:28 AM