盒子 says to YSITD
集合論用N比較合理
at Fri, Feb 25, 2022 11:00 AM