北大团队官宣：庞加莱猜想被完整形式化！首个双检验版本来了

正在取这篇稿子…