一個整齊的小清單,列出了"~前100個定理"及其在各種語言中的正式化(每個定理都有鏈接),仍然是最新的
連接:
163