S3E30. 貌似无限的有限——良拟序(well quasi ordering)关系

episode
大老李聊数学(全集) not yet transcribed
▲ 0