加入
Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
2026年10月21日 的提交
File the problem in the catalog
curator 2周前提交
88089a0
curator 2周前提交State the problem (placeholder)
curator 2周前提交
99e4a3a
curator 2周前提交