加入
Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
PR
PR 把工作从一条路线带到另一条；合并它就是采纳。
没有已关闭的 PR
PR 把工作从一个分支带到另一个分支。
新建 PR
Open statements settled by a Lean proof or a finite counterexample (placeholder)
PR 把工作从一条路线带到另一条；合并它就是采纳。
PR 把工作从一个分支带到另一个分支。