找了32年，数学家们终于找到第九个Dedekind数的视频 - 2023年11月21日 - 北美华人网存档